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.

Last updated: 2004-07-20

Nearby terms:

static scope ♦ static typing ♦ static variable ♦ Station Management

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading