Это перевод статьи-компаньона доклада Nicolas Rinaudo "Введение в рекурсивные схемы", слайды доступны по ссылке.
- Введение
- Рекурсивные типы данных
- Структурная рекурсия
- Обобщённая структурная рекурсия
- Обобщённая свёртка
- Это можно применить к другим типам?
- Уменьшение шаблонного кода
- Генеративная рекурсия
- Обобщённая генеративная рекурсия
- Обобщённая развёртка
- Обобщённая свёртка и развёртка
- Заключение
This work is licensed under a Creative Commons Attribution 4.0 International License.