Corecursion meaning

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.

noun
0
0
Advertisement