corecursion
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Noun[edit]
corecursion (uncountable)
- 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.
Related terms[edit]
See also[edit]
- recursion
- corecursion on Wikipedia.Wikipedia