00:00 Начало лекции
00:26 Главный тип
19:59 Подстановка типа и унификация
52:40 Теорема Хиндли-Милнера
01:11:36 let-полиморфизм и типы высших рангов
Функциональное программирование (весна 2022)
Ссылка на курс на сайте CS центра compscicenter.ru/courses/func...
Ссылка на плейлист курса на KZitem • 1. Лямбда-исчисление
Негізгі бет 13. Вывод типов
Пікірлер