λ演算本质上是一个关于函数及其应用的理论。
The world is full of people who will tell you what you can't do. What you must do is find the ones who will tell you what you can.
剧院是一个我们可以在公众面前面对内心恶魔的地方。
他是世界上最有名的作曲家,但大部分时间都非常痛苦,其中一个原因就是他总是透支自己的收入。这个人就是莫扎特。如果有这种行为的莫扎特都过的不好,我想你也不应该尝试。