Системы типов (начало), лекция 9

Подробности

Категория: Функциональное программирование : Евгений Кирпичёв

Системы типов (начало), лекция 9, Курс: Функциональное программирование, Лектор: Евгений Кирпичёв , Организаторы: Computer Science клуб при ПОМИ РАН

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

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