Что: Лекция
Когда: Пятница, 21 марта 2014, 18:30–19:50
Где: ФМЛ 239, Актовый зал
Слайды: func_prog_lecture_210314.pdf

Описание

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

Материалы