λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
预测未来的最好方法就是创造未来。
The beauty of literature is that it allows us to live a thousand lives in one.
你的信念就是你的命运。