ペアノ数の類似関係を考えることはそれほど難しくありません。hereのように具体化された eq/3 述語を作成することも可能です。
問題は、境界を押し広げ、Schemeequal?の述語を純粋かつ具体化された方法で実装できるかどうかです。問題は、たとえば、δ ルールとしても知られるこの削減を実現することです (ここで第 6 章の拡張を参照してください)。
δxx ~~> T
δxy ~~> F if x and y are not identical
用語が deBruijn インデックスで表される場合。equal?これにより、リスト (ツリー) の処理に加えて、アルファ変換が述語に組み込まれます。純粋とは、論理純度タグで定義されているように、本質的に純粋または操作上純粋であることを意味します。
テスト ケースは、ペアノ数のみではなく、リスト (ツリー) との純粋な交差です。