(computing) Belonging to a type system that checks the variable types at compile time.

(computing, programming) A system in which type checking is performed during compilation and not at run time, opposed to dynamic typing.

plural of statically-typed language

(programming language) A programming language that verifies the type safety of a program by analysis of the code.