更新23/10/2019 我们有一个反例（请参阅＃1），因此Éole不适用于完整的非类型化语言演算！ 我们不知道它可以处理哪种类别的术语，但是您仍然会觉得它很有趣;-) Éole-Lévy最佳lambda演算评估程序（不使用oracle）。 Éole是Lévy最佳lambda演算评估器，在某些情况下可以比传统评估器更快地渐近。 它可以计算出“非足够优化”评估人员无法“快速”完成的事情。 例如，它可以计算 wih Church的数字，而无需做任何特殊的操作（即，不使用数学属性）。 嗯...