type system

== English == === Noun === type system (plural type systems) (computing) A way programming language classifies values and expressions into types (data types), how it can manipulate those types, and how they interact. Meronyms: types, data types; built-in type, primitive type, composite type, abstract type, abstract data type, algebraic data type, reference type, existential type, intersection type, linear type, union type ==== Derived terms ==== Hindley-Milner type system nominative type system unified type system ==== Translations ==== ==== See also ==== typechecker type theory