Свертки

Вторник, 22 марта 2016
Таймс, ауд. 404

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

func_prog_lecture_220316.pdf

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

Описание

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