static typing
Short definition from Wiktionary
Noun
- A system in which typechecking is performed during compilation and not at run time, opposed to dynamic typing.
We haven’t written up static typing yet: Simple and Standard meanings, examples and a quiz.