Статическая типизация
Материал из Википедии — свободной энциклопедии
Стати́ческая типиза́ция — приём, широко используемый в языках программирования, при котором переменная связывается с типом в момент её объявления и тип не может быть изменён позже (переменная будет принимать значения только этого типа). Примеры статически типизированных языков — Cи++, Паскаль.
Противоположный приём — динамическая типизация.