Свертки
Вторник, 06 февраля 2018
НГУ, ауд. 2128, НГУ, новый корпус
Свёртки списков. Правая и левая свёртки. Ленивые и энергичные версии свёрток. Моноиды. Представители класса типов Monoid. Класс типов Foldable. Свойство слияния (fusion law) для свертки.