問題タブ [church-encoding]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

91 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
159 参照

scheme - 教会の数字を理解する

私は SICP を使用して作業を進めておりzero、Church Numeralsの次の定義が得られます。

それについていくつか質問があります。

  1. なぜ複雑な構文なのですか? 代わりに次のようにするだけで、かなり読みやすいようです。

    zeroここで、 1 つの (未使用の) 引数を取りf、そのパラメーターを返す 1 つのパラメーターの関数を返す、呼び出された関数であることがわかります。定義は、できるだけ単純ではないことを意図しているようです。

  2. そこは何のxためにあるのですか？たとえば、次のようなことを行います。

    戻ります100。xデフォルト値だけが返されますか?


12345678910