corecursion

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Etymology

[edit]

From co- +‎ recursion.

Noun

[edit]

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 .
    Programming languages with lazy evaluation support corecursion so that the programmer can refer to infinite objects.
[edit]

See also

[edit]