Свёртки
Пятница, 04 апреля 2014
ФМЛ 239, Актовый зал
Свёртки списков. Правая и левая свёртки. Ленивые и энергичные версии свёрток.
Моноиды. Представители класса типов Monoid.
Свойство слияния (fusion law) для свертки.
Класс типов Foldable.