λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
时间是我们学习的学校,时间是我们燃烧的火焰。