type system

English

Noun

type system (plural type systems)

1. (computing) A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.
   • 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

• Hindley-Milner type system
• nominative type system
• unified type system

Translations

type system of a programming language

• Finnish: tyyppijärjestelmä
• German: Typsystem n
• Greek: σύστημα τύπων (el) n (sýstima týpon)
• Serbo-Croatian: sustav tipova m, sustav obilježja m

See also

• typechecker
• type theory