Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Системы типов (начало)
Функциональное программирование


Что: Лекция
Когда: Воскресенье, 19 декабря 2010, 15:35–17:10
Где: ПОМИ РАН

Описание

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

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

Видео