判断两个λ表达式是否等价的问题是无法解决的。
真正的进步发生在我们走出舒适区并拥抱变化的时候。