statically typed programming
English
Noun
statically typed programming (uncountable)
- (programming) Programming in a language whose type system establishes the well-typedness of program expressions through analysis of their syntax and typing context, independently of executing those expressions.