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

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

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

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

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




Реклама



Ваше мнение

Видиотека

Рейтинг@Mail.ru

Яндекс.Метрика