статическая типизация

EN: static typing

Дисциплина типов, при которой тип каждой переменной известен во время компиляции. Компилятор проверяет корректность типов до запуска программы и отклоняет программы с несоответствиями типов. TypeScript, Java и Rust статически типизированы.