Системы типов (начало), лекция 9
defaultValue- Подробности
- Категория: Функциональное программирование : Евгений Кирпичёв
Системы типов (начало), лекция 9, Курс: Функциональное программирование, Лектор: Евгений Кирпичёв , Организаторы: Computer Science клуб при ПОМИ РАН
В лекции вводится понятие системы типов и даются начальные сведения о системе типов языка Haskell и об одном из самых важных ее элементов - обобщенных алгебраических типах (GADT).
Материалы: устаревший текст лекции, номер 3 журнала "Практика функционального программирования" - статья "Элементы функциональных языков", главы "Алгебраический тип", "Класс типов", "Вывод типов".
