λ演算本质上是一个关于函数及其应用的理论。
我不在乎过去,我在乎未来。
最好的报复就是巨大的成功。
The only way to discover the limits of the possible is to go beyond them into the impossible.
Quality is not just a goal, it is a journey.