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