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.