λ演算本质上是一个关于函数及其应用的理论。
最好的报复就是巨大的成功。
The only way to discover the limits of the possible is to go beyond them into the impossible.