type system
noun1
Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences 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
- OCaml’s big selling point is its “type system,” which is something like Microsoft Word’s grammar checker, except that instead of just putting a squiggly green line underneath code it thinks is wrong, it won’t let you run it.2015 April 2, James Somers, “Toolkits for the Mind”, in MIT Technology Review:
- Derived terms
- Hindley-Milner type system, nominative type system, unified type system
- Related terms
- typechecker, type theory