编写程序的最好方法是编写它。
λ演算本质上是一个关于函数及其应用的理论。
我们必须时刻用不同眼光来看待事物。
胜利不是一切,但渴望胜利就是一切。