历史不是过去——它是我们为组织对过去的无知而演变出的方法。
判断两个λ表达式是否等价的问题是无法解决的。