В компьютерном программировании , скрытое типирование относится к системе типа , где типы связаны с значениями , а не переменными . [1] Примером языка со скрытой типизацией является Scheme . Обычно это требует проверки типа во время выполнения и поэтому обычно используется как синоним динамической типизации . [2]
Смотрите также
Рекомендации
- ↑ Аллен Б. Такер (28 июня 2004 г.). Справочник по информатике, второе издание . Тейлор и Фрэнсис. С. 92–. ISBN 978-1-58488-360-9.
- ^ Бенджамин С. Пирс (январь 2002 г.). Типы и языки программирования . MIT Press. С. 2–. ISBN 978-0-262-16209-8.