λ演算本质上是一个关于函数及其应用的理论。
如果你认为一个理论是唯一可能的理论,这表明你既不理解这个理论,也不理解这个理论要解决的问题。
最好的投资往往是那些一开始看起来违反直觉的。
It always seems impossible until it's done.