函数的概念在数学中是基础的,而λ演算试图使这一概念精确化。
A statement is a means to convey information, a promise is a means to make a commitment.
The past is never dead. It's not even past.
你停止尝试的那一刻,就是你开始失败的那一刻。
任何一样东西,你渴望拥有它,它就盛开。一旦你拥有它,它就凋谢。