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

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.