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

Статическая типизация означает, что все проверки типов данных выполняются на этапе компиляции, а не на этапе выполнения программы. Кроме того, типы данных ассоциируются с переменными, а не с конкретными значениями.

Проверки типов данных, выполняемые на этапе компиляции, используют только сам код программы. Преимуществом статической типизации является то, что такие проверки достаточно выполнить только один раз. Если проверкой установлено, что типы данных в программе удовлетворяют некоторому условию, то это будет выполняться для всех дальнейших запусков программы. Кроме того, отсутствие проверок, выполняемых на этапе выполнения программы, и знание всех типов данных на этапе компиляции позволяет сделать скомпилированную программу более эффективной.

Статическая типизация позволяет находить ошибки типизации, допущенные в редко используемых ветвях логики программы, на этапе компиляции.

Статическая типизация используется в большинстве компилируемых языков программирования.

Статическая типизация является противоположностью динамической типизации.