纯序言δλ-微积分等式

问题描述

想出一个外表关系并不难 对于皮亚诺数字。它甚至可以制作一个具体化 eq/3 谓词如 here。

现在的问题是，我们是否可以突破界限，也可以 以纯粹和具体化的方式实现 Scheme equal? 谓词？ 问题将是例如实现这种减少， 也称为 δ 规则（参见第 6 章扩展here）：

δxx ~~> T 
δxy ~~> F if x and y are not identical

如果术语用 deBruijn 索引表示。这 会将 alpha 转换合并到 equal? 谓词中 除了处理列表（树）。纯可以意味着本质上纯 或操作纯，如逻辑纯度标签中所定义。

测试用例是与列表（树）的纯粹交集，而只是 Peano 数字。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）