Вывод типов
Вторник, 26 апреля 2016
Таймс, ауд. 404
Вывод типов. Главный (наиболее общий) тип. Свойства подстановки типов. Композиция подстановок. Унификатор, теорема унификации. Главная пара. Алгоритм Хиндли-Милнера.