I'm not a perfectionist, but I like to feel that things are done well.

In a 5 year period we get one superb programming language. Only we can't control when the 5 year period will be.

λ演算本质上是一种纯粹抽象的函数理论。

真正的旅程不在于发现新的风景，而在于用新的眼光去看。