Классы типов


Лекция №6 в курсе "Функциональное программирование" (весна 2015).
Преподаватель курса: Денис Николаевич Москвин.

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



';



Видеотека

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