λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
The world is moving so fast these days that the man who says it can't be done is generally interrupted by someone doing it.