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