corecursion

English

Etymology

From co- +‎ recursion.

Noun

corecursion (uncountable)

1. The dual to recursion, that acts on the computed result, rather than the input.

   The natural numbers $\mathbb {N}$ may be defined by corecursion as $\{0\}\cup \{n+1|n\in \mathbb {N} \}$.

   Programming languages with lazy evaluation support corecursion so that the programmer can refer to infinite objects.

Related terms

• co-recursive

See also

• recursion
• corecursion on Wikipedia.Wikipedia