Noun
statically-typed language (plural statically-typed languages) (computer languages) A programming language that verifies the type safety of a program by analysis of the code.