static typing

<programming> Enforcement of type rules at compile time rather than at run time. Static typing catches more errors at compile time than dynamic typing.

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

Statically typed languages may have strong typing or weak typing.

Nearby terms:
static RAM « static random-access memory « static scope « static typing » Station Management » Statistical Analysis System » Statistical Package for the Social Sciences