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}. (2004-07-20)