"I don't want to be a one-hit wonder. I want to have a career."
判断两个λ表达式是否等价的问题是无法解决的。
The study of psychology is the study of adaptive success.
真相是,我们都在寻找某种东西,但我们不知道它是什么。