Свёртки
- Подробности
- Категория: Функциональное программирование от CSC
Лекция №7 в курсе "Функциональное программирование" (весна 2015).
Преподаватель курса: Денис Николаевич Москвин.
Свёртки списков. Правая и левая свёртки. Ленивые и энергичные версии свёрток. Моноиды. Представители класса типов Monoid. Свойство слияния (fusion law) для свертки. Класс типов Foldable.