Рекурсивные типы и обобщенные катаморфизмы.
Пятница, 06 ноября 2015
Таймс, ауд. 404
Сумма и произведения типов. Конструктор неподвижной точки. Катаморфизмы, проблемы реализации.