Type system

A type system is a discipline of programming languages which deals with classifying values in a program into disjoint or non-disjoint sets.

See also type theory.