从长远来看,每个程序都会变成洛可可式的,然后变成瓦砾。
In the long run every program becomes rococo - then rubble.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
在一个不断试图让你成为别人的世界里,最大的反叛就是做你自己。
Now, my mama always told me that miracles happen every day. Some people don't think so, but they do.