type system
Short definition from Wiktionary
Noun
- A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.
We haven’t written up type system yet: Simple and Standard meanings, examples and a quiz.