The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
"The city is a character in itself, with its own moods and mysteries."
表演中最重要的就是诚实。如果你能假装诚实,你就成功了。
我想在太空飞行,绝对的!那会是相当酷。我自己过去经常做一些冒险的事情,但是我现在有了孩子和家庭责任,因此我没法拿自己去冒风险了。那样做不明智。但是只要太空飞行变得切实可行,我一定会去尝试。