В лекции вводится понятие системы типов и даются начальные сведения о системе типов языка Haskell и об одном из самых важных ее элементов - обобщенных алгебраических типах (GADT).

Материалы: номер 3 журнала Практика функционального программирования - статья Элементы функциональных языков, главы Алгебраический тип, Класс типов, Вывод типов.