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 ℕ may be defined by corecursion as {0}∪{n+1|n∈ℕ}.
    Programming languages with lazy evaluation support corecursion so that the programmer can refer to infinite objects.

See also

This page is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.