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)