1990年，John Lamping发表了一篇论文，提出了无类型lambda演算的最佳实现。由于那篇论文已有25年历史，我想知道自那以后我们有多少进步。因此，我的问题是：John对最优lambda演算评估算法的简单描述（或者，如果我们改进算法后我们进行了改进），最好简单解释一下Haskellish-pseudocode？
更新：因为自从我问过以后我学到了更多，我相信一个有效的答案可能只是一个非浮动算法的伪代码，它将纯粹的无类型lambda术语映射到交互网络; 2.减少那些网络和3.从网络映射到lambda术语，例如整个过程最佳地规范化初始lambda项。