| Что: | Лекция |
| Когда: | Среда, 29 апреля 2020, 18:10–19:45 |
| Где: | Заочный просмотр |
| Слайды: | func_prog_lecture_290420.pdf |
Вывод типов. Главный (наиболее общий) тип. Свойства подстановки типов. Композиция подстановок. Унификатор, теорема унификации. Главная пара. Алгоритм Хиндли-Милнера.
