Вывод типов

Вывод типов. Главный (наиболее общий) тип. Свойства подстановки типов. Композиция подстановок. Унификатор, теорема унификации. Главная пара. Алгоритм Хиндли-Милнера. Лекция №12 в курсе “Функциональное программирование“ (весна 2015). Преподаватель курса: Денис Николаевич Москвин. Страница лекции на сайте CS центра: