Enforcement of type rules ATcompile time rATher than ATrun 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)