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