13. Вывод типов

00:00 Начало лекции 00:26 Главный тип 19:59 Подстановка типа и унификация 52:40 Теорема Хиндли-Милнера 01:11:36 let-полиморфизм и типы высших рангов