# corecursion

## English

### Noun

corecursion (uncountable)

1. The dual to recursion, that acts on the computed result, rather than the input.
The natural numbers ${\displaystyle \mathbb {N} }$ may be defined by corecursion as ${\displaystyle \{0\}\cup \{n+1|n\in \mathbb {N} \}}$.
Programming languages with lazy evaluation support corecursion so that the programmer can refer to infinite objects.