Свертки

Вторник, 06 февраля 2018
НГУ, ауд. 2128, НГУ, новый корпус

Слайды с лекции

func_prog_lecture_060218.pdf

Приложенные файлы

Описание

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