The Free On-line Dictionary of Computing (19 January 2023):

static typing
statically typed

    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)