诗人是一个能看到看不见的东西并听到听不到的声音的人。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
If you just set out to be liked, you would be prepared to compromise on anything at any time, and you would achieve nothing.