I’m not a guy that’s going to let my love for my passion down.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。