static typing

static typing

(programming)Enforcement of type rules at compile timerather than at run time. Static typing catches more errorsat compile time than dynamic typing.

Ada, C, C++, Haskell, Java, and ML are examples ofstatically typed languages.

Statically typed languages may have strong typing or weak typing.