Свертки

Пятница, 24 марта 2017
Таймс, ауд. 404

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

func_prog_lecture_240317.pdf

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

Описание

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