λ演算本质上是一个关于函数及其应用的理论。
Laughing is good for you if you don't kill yourself.
"Stories are the most important thing in the world. Without stories, we wouldn't be human beings at all."
You have to see failure as the beginning and the middle, but never entertain it as the end.