type system en · NOUN
Meanings
-
A way programming language classifies values and expressions into types (data types), how it can manipulate those types, and how they interact.
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: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
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| type systems | Number=Plur | lexicographic |
Deriveds
unified type system · Hindley-Milner type system · nominative type system
Relateds
Translations (6)
fi tyyppijärjestelmä (type system of a programming language) · sh sustav obilježja (type system of a programming language) · el σύστημα τύπων (type system of a programming language) · de Typsystem (type system of a programming language) · pl system typów (type system of a programming language) · sh sustav tipova (type system of a programming language)