Скрытая типизация

Система типов, в которой типы связаны со значениями, а не переменными.

В компьютерном программировании скрытая типизация относится к системе типов, где типы связаны со значениями , а не переменными . ^[1] Примером языка с латентной типизацией является Scheme . Обычно это требует проверки типов во время выполнения и поэтому обычно используется как синоним динамической типизации . ^[2]

Смотрите также

• Утиная типизация

Ссылки

1. Аллен Б. Такер (28 июня 2004 г.). Computer Science Handbook, второе издание. Taylor & Francis. стр. 92–. ISBN 978-1-58488-360-9.
2. Бенджамин К. Пирс (январь 2002 г.). Типы и языки программирования. MIT Press. стр. 2–. ISBN 978-0-262-16209-8.