статьиGNU Free Documentation License материалы взяты из Википедии Статья была изменена. Оригинал статьи.

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

Материал из Энциклопедии в свободной энциклопедии
Перейти к: навигация, поиск
Типизация данных

Типобезопасность
Вывод типов
Динамическая типизация
Статическая типизация
Строгая типизация
Мягкая типизация
Зависимые типы
Утиная типизация

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

Противоположный приём в динамическая типизация.


Пространства имён

Варианты
Действия
На других языках