corecursionとは 意味・読み方・使い方

名詞

corecursion (uncountable)

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

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

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

関連する語

• co-recursive

参考

• recursion
• corecursion on Wikipedia.Wikipedia