Editing User:EndreyMark (section)

== Categorising ==
 
=== New category or having already? ===

I looked at all category names to decide where ''Combinatory logic'' and ''Dependent types'' should fit.
I think You are right, and ''Theory'' would be a good new category, or ''Foundations''.
It could contain articles like e.g.
* Lambda calculus
* Combinatory logic
* Type theory
** Dependent types
* Category theory
** Categorical programming
* Formal languages
** Attribute grammars
* Linguistics
** Applicative universal grammars
etc. Maybe it would become a natural category for projects like Quantum Computing -- I saw there are a lot of QC materials concerning Haskell -- and quines (see bottom of this letter) too.

=== ''Articles'' or ''Foundations''? ===

The category name ''Articles'' seems to me too structural (instead of functional):
* ''Foundations'' describes a ''role'', a ''funtion'' 
* ''Articles'' refers to a structure, a format.
To decide between them, let us see the crosscutting cases:
* a page on foundations, but not in an article format, e.g. a categorical programming language interpreter
* an article on practical things, e.g. on conventions
maybe we cannot avoid all croscutting, but I think ''Foundations'' provides a better modularity.