statically-typed language

Noun

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

Translations

 * German: statisch typisierte Sprache