← Back to search

Meaning of type system | Babel Free

Noun CEFR B2

Definitions

A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.

Equivalents

Deutsch Typsystem

Ελληνικά σύστημα τύπων

Suomi tyyppijärjestelmä

Examples

“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.”

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

type testing type theory type variety type-founder type-in type-token distinction