The λ-calculus is, in essence, a purely abstract theory of functions.
λ演算本质上是一种纯粹抽象的函数理论。
我们不是从祖先那里继承海洋，而是向子孙借用它。
The world is a book, and those who do not travel read only one page.
The first step is to establish that something is possible; then probability will occur.
The best moments in our lives are not the passive, receptive, relaxing times… The best moments usually occur if a person’s body or mind is stretched to its limits in a voluntary effort to accomplish something difficult and worthwhile.