functional-programming - 関数型プログラミングのためのラムダ計算

Question

ラムダ計算（λx.λy.λs.λz.xs（ysz））は、2つのチャーチ数の加算に使用されます。これをどのように説明できますか？機能プログラミングのためのラムダ計算に適したリソースはありますか？あなたの助けは大歓迎です

Answer 1

実際には λ f1 です。λf2。λs。λz。(f1 s (f2 sz)) は、実際には (f2 sz) (f2 で表される数) を (f1 sz) 内の「ゼロ」に代入しているため、加算を計算します。

s s z例:展開された形式で、f2 を 2 つ取ります。f1 は 1 ですs z。最後のz部分を f2 に置き換えるとs s s z、3 の拡張形式である が得られます。

これは、黒板と手を振った方が簡単です。申し訳ありません。