- A set of rules that assigns a type property to the various constructs of a computer program, such as variables, expressions, functions, or modules. These types formalize and enforce the otherwise implicit categories the programmer uses for algebraic data types, data structures, or other components. The main purpose of a type system is to reduce possibilities for bugs in computer programs by defining interfaces between different parts of a computer program, and then checking that the parts have been connected in a consistent way. This checking can happen statically (at compile-time), dynamically (at run-time), or as a combination of both. ← Wikipedia
- More about this term (beta): articles and videos, books, web search
- Previous term: Type selector
- Next term: Typeface
- Random term: Ligature (or roll the dice with webglossary.info/random)