Типизация — это свойство языка программирования различать типы данных. Например, целые числа, числа с двойной точностью (с плавающей запятой), строки и т.д.
Статическая типизация (static) вид типизации при котором переменная связывается с типом в момент объявления и не может изменить свой тип. Сложнее описывать, но труднее допустить ошибку.
Плюсы статической типизации:
- многие ошибки с типами можно обнаружить на этапе компиляции.
- исполнение языка со статической типизацией в большинстве случаев
быстрее нежели с динамической.
Минусы статической типизации:
- многословность, для некоторых задач чрезмерна излишняя, однако может компенсироваться средствами обобщенного программирования, как