В лекции вводится понятие свертки над структурой данных как абстракции вычисления снизу вверх (по индукции), а также рассматривается ее частный случай - списочные свертки.

Материалы:

• Текст лекции и домашнее задание
• Глава Свертки в статье Элементы функциональных языков в номере 3 журнала Практика функционального программирования.