海洋养育了数百万人,我们的责任是确保它能为子孙后代继续这样做。
λ演算本质上是一个关于函数及其应用的理论。
"I like dogs. You always know what a dog is thinking. It has four moods. Happy, sad, cross and concentrating."