type system
Noun
A way programming language classifies values and expressions into types (data types), how it can manipulate those types, and how they interact.
- Related words
- Examples
-
More examples (2)
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.
Word forms
type systems