type system

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‎:

     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.

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

• typechecker
• type theory