corecursion

uncountable

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

Japanese Meaning

入力ではなく計算済みの結果に基づいて処理を行う、再帰の対極に位置する概念。

入力ではなく計算された結果に作用する再帰の双対は、結果がどのように展開するかを定義することで、潜在的に無限のデータ構造を生成できるようにプログラマを助けます。

Sense（1）

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

The natural numbers N may be defined by corecursion as 0∪n+1|n∈ N.