Language — Types

Categorisation overviews of kinds of language.

Natural languages — human language, ambiguity, context, language games.
Formal languages — mathematical, logical, type theory, formal systems.
Software languages — taxonomy, relation to formal language theory.
Domain-specific languages — SPLectrum’s reading of DSLs, what the engineering record demonstrates, where the thinking is heading.