statically typed

from The Free On-line Dictionary of Computing (8 July 2008)

static typing
statically typed

   <programming> 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)