type system

English

Noun

type system (plural type systems)

  1. (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
    • 2015 April 2, James Somers, “Toolkits for the Mind”, in MIT Technology Review‎[1]:
      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.

Derived terms

Translations

See also

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.