Последовательная типизация
Из Википедии, бесплатной энциклопедии
Последовательная типизация — система типов, в которой некоторым переменным могут быть заранее заданы строгие типы. Впоследствии, правильность типизации данных переменных проверяется во время компиляции, то есть к этим переменным применяется статическая типизация. Оставшиеся переменные можно оставлять нетипизированными, а возможные ошибки типа сообщаются во время выполнения.
Последовательная типизация позволяет разработчикам программного обеспечения выбрать любую подходящую парадигму для используемого языка. Во многих случаях последовательная типизация добавляется к существующей динамической типизации языка, не требуя статической типизации для абсолютно всех переменных.
Ссылки
[править | править код]- 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:10.4230/lipics.snapl.2015.274.