The notion of a function is fundamental in mathematics, and the λ-calculus is an attempt to make this notion precise.
函数的概念在数学中是基础的,而λ演算试图使这一概念精确化。
I think it's important to be able to have a sense of humor about life.
商业上的伟大成就从来不是一个人完成的,而是由一群人共同完成的。
写作是驱除我们内心恶魔的方式。
解释:时机未到,就不能勉强行事;行事不探求事理,就不可能达到成功。
我坚持自己的信仰,很多时候这可能与主流背道而驰。