λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
你必须先拒绝乐队的一种表达方式,然后才能进入下一种。
I’m not a guy that’s going to shy away from the moment.