函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
Purely applicative languages are poorly applicable.
交通的未来是电动的，我们全力以赴。
没有斗争就没有权利。
You cannot always control what goes on outside, but you can always control what goes on inside.
The most important thing is to have a good heart and a good attitude.
