strongly-typed
Short definition from Wiktionary
Adjective
- Belonging to a type system that enforces variables matching (or easily convertible to) the expected types.
We haven’t written up strongly-typed yet: Simple and Standard meanings, examples and a quiz.