Adjective
statically-typed (not comparable)
(computing) Belonging to a type system that checks the variable types at compile time.
For example, C# distinguishes between "statically-typed" and "dynamically-typed" variables; uses of the former are checked statically, while uses of the latter are checked dynamically.
You have to define the type of a variable in a before compiling the code in a statically-typed language, like C.
statically-typed