Статья
Система типов и то, чего в ней нет
Двунаправленная проверка вместо Хиндли — Милнера, исчерпывающность разбора, точные целые и дроби, функции как значения, параметрические типы, предусловия на месте вызова …
База знаний
Тема: вывод типов
2 материалов в этой теме.
Материалы
2 на странице
Статья
Проверка и вывод типов: системы типов, унификация, Хиндли-Милнер
Как компилятор доказывает, что программа не сложит число со строкой: суждения типизации, бидирекциональная проверка, унификация с occurs check и полный алгоритм Хиндли — …
По этому запросу ничего не найдено.