用户的需求是我们前进的动力。

"Words are the bricks with which we build the houses of our imagination."

"The best way to find yourself is to lose yourself in the service of others."

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

一本怀有恶意的书籍将不会伤害到任何人，除了写它的傻瓜。

A good abstraction is one that emphasizes the important details and suppresses the unimportant ones.