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

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

Ссылки

• Siek, Jeremy G.; Vitousek, Michael M.; Cimini, Matteo; Boyland, John Tang. Refined Criteria for Gradual Typing / Ball, Thomas; Bodik, Rastislav; Krishnamurthi, Shriram; Lerner, Benjamin S.; Morrisett, Greg. — Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2015. — Т. 32. — С. 274—293. — (Leibniz International Proceedings in Informatics (LIPIcs)). — ISBN 9783939897804 . — doi : .