ラムダ計算では、Y-コンビネータは次のように自身を返します。Y a = a Y a、具体的にはhereです。 y(x)= 2 * x + 1(簡略化のために教会の番号を仮定する)のような単純な関数を仮定し、私はそれをしたいY y私は何らかのブレークアウト関数。私はこのRに自身を返す関数?
- 計算yのような何かをしたい(1)---> 3
- 計算Y(3)---> 7
- 計算Y(7)...
- ...
- は私が考えての機能的な方法を使用してRでこれを行うことができますどのように、n番目のケース
に終了しますか?何か組み込みですか?
おそらく '?Reduce'? –