Русская Википедия:Последовательная типизация

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

Ссылки