Noun
static typing (uncountable) (computing, programming) A system in which type checking is performed during compilation and not at run time, opposed to dynamic typing.