Классы типов

Пятница, 21 марта 2014, 18:30–19:50
ФМЛ 239, Актовый зал

Слайды с лекции

func_prog_lecture_210314.pdf

Описание

Параметрический и специальный полиморфизм. Классы типов. Объявления представителей (instance declaration).
Пример: классы Eq и Ord.
Операторы над типами как параметры в определении класса. Класс типов Functor. Реализация классов типов.