eole:Éole没有Oracle的Lévy最优lambda演算评估程序 源码

更新23/10/2019 我们有一个反例(请参阅#1),因此Éole不适用于完整的非类型化语言演算! 我们不知道它可以处理哪种类别的术语,但是您仍然会觉得它很有趣;-) Éole-Lévy最佳lambda演算评估程序(不使用oracle)。 Éole是Lévy最佳lambda演算评估器,在某些情况下可以比传统评估器更快地渐近。 它可以计算出“非足够优化”评估人员无法“快速”完成的事情。 例如,它可以计算 wih Church的数字,而无需做任何特殊的操作(即,不使用数学属性)。 嗯... 处理完整的无类型lambda演算 警告:这尚未得到证明! 如果Éole可以处理至少一部分lambda演算,则完整的无类型lambda演算是有问题的。 (使此警告更清晰,请参阅)。 基于交互网络(图形重写系统)。 Lévy最佳(避免通过共享来复制redexe)。 附带2种减少策略 缩小为标准格