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

"I am not a person who can be easily categorized, and I think that is a good thing."

过去是一面镜子，但我们往往只看到自己想看的东西。

传统是基础，但创新让烘焙保持活力。

现实不仅是能够被复制的东西，而且是总是已经被复制的东西。