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