Category talk:Data types
Add topicLatest comment: 20 years ago by TuukkaH in topic Subcategorization
 | This category does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||
| |||||||||||||||
Subcategorization
[edit]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)