< programming > Strict enforcement of type rules with no exceptions. All types are known at compile time , i.e. are statically bound . With variables that can store values of more than one type, incorrect type usage can be detected at run time .
Strong typing catches more errors at compile time than weak typing , resulting in fewer run-time exceptions .
The languages Ada , Java , and Haskell are strongly typed. Pascal is (almost) strongly typed.
C and C++ are sometimes described as strongly typed, but are perhaps better described as weakly typed .
(2000-07-04)