[W/K] :: strong typing

  strong typing
       
           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)