Types, and type systems, are used to enforce levels of abstraction in programs.
The concept of types classifies values, expressions, data structures and modules into sets.
The type system is the syntactic framework to describe, infer and enforce this classification. The typing and their checks can be performed at compile-time or at run-time.
See also
- Using types
- type-systems
- type-theory
- type-safety
- Kinds of types in programming languages
- Relationships between types
- Other meanings; uses of "type" outside programming languages