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