Википедия
Корекурсия
Кореку́рсия — в теории категорий и информатике тип операции, дуальный к рекурсии . Обычно корекурсия используется (совместно с механизмом ленивых вычислений ) для генерации бесконечных структур данных.