Классы типов

Параметрический и специальный полиморфизм. Классы типов. Объявления представителей (instance declaration). Пример: классы Eq и Ord. Операторы над типами как параметры в определении класса. Класс типов Functor. Стандартные классы типов: Enum и Bound, Num и его наследники. Реализация классов типов. Лекция №6 в курсе “Функциональное программирование“ (весна 2015). Преподаватель курса: Денис Николаевич Москвин. Страница лекции на сайте CS центра: