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