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