The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
True progress comes when we challenge the status quo and refuse to settle for 'good enough.'
剑鞘保护剑的锋利，自己却满足於它自己的迟钝。
The most dangerous phrase in business is 'We've always done it this way.'
The greatest discovery of my generation is that a human being can alter his life by altering his attitudes.