Type system

noun

noun ·Rare ·Advanced level

Definitions

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

    "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."

Synonyms

All synonyms
type theorytypology

Example

More 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."

Next best steps

Browse writing guidesExplore topic clusters