問題タブ [logical-purity]
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.
52 問題
0
投票する
0
に答える
39
参照
prolog - 純粋なプロローグ δλ-微積分の等式
ペアノ数の類似関係を考えることはそれほど難しくありません。hereのように具体化された eq/3 述語を作成することも可能です。
問題は、境界を押し広げ、Schemeequal?の述語を純粋かつ具体化された方法で実装できるかどうかです。問題は、たとえば、δ ルールとしても知られるこの削減を実現することです (ここで第 6 章の拡張を参照してください)。
用語が deBruijn インデックスで表される場合。equal?これにより、リスト (ツリー) の処理に加えて、アルファ変換が述語に組み込まれます。純粋とは、論理純度タグで定義されているように、本質的に純粋または操作上純粋であることを意味します。
テスト ケースは、ペアノ数のみではなく、リスト (ツリー) との純粋な交差です。