λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
我是一个笼子,在寻找一只鸟。
I’m not a guy that’s going to let my love for the sacrifice down.
安全是石油行业的生命线,任何时候都不能放松。
I don't want to be remembered for being famous. I want to be remembered for being brave.