Type = Systemの英語

名詞

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

     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