发现的喜悦无疑是人类心灵所能感受到的最活跃的喜悦。
判断两个λ表达式是否等价的问题是无法解决的。