"Sometimes we get sad about things and we don’t like to tell other people that we are sad about them."
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。