我认为最好的表演是本能的。它不是智力的,不是机械的,它是本能的。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。