The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
建筑是创造有意义场所的艺术。
I don't compete with anyone but myself.
成功是一段旅程,而不是终点。
我不会让挫折阻止我,它们让我更强大。