Category talk:Data types

Subcategorization
How could we define what belongs in Data types and what in Type theory? One way would be to have anything related to types in Type theory, and then move some articles into its subcategories, such as Data types.

My problem with the current state is that some topics of types are hidden in the subcategory Type theory while they can be largely practical topics that Type theory happens to discuss.

To skip the issue of the relation between practise and theory, what about naming the supercategory Type systems or Typing or so? --TuukkaH 13:26, 5 December 2005 (UTC)