Type System

Broader: computing

Roles: type, value, conversion, constraint, compatibility, hierarchy, inference

The classification of values and expressions in a programming language according to the operations they support. Type systems define what kinds of data exist (integers, floats, pointers, structs), what operations are valid on each kind, and what conversions between kinds are permitted. The domain borrows vocabulary from taxonomy (types, classes, hierarchies), manufacturing (casting, boxing), and governance (rules, violations, enforcement). Type systems range from permissive (C) to strict (Haskell), and the metaphors they use reflect their philosophy of constraint.

As Target Frame (1)