The notion of a function is fundamental in mathematics, and the λ-calculus is an attempt to make this notion precise.
函数的概念在数学中是基础的，而λ演算试图使这一概念精确化。
"I don't believe in luck. I believe in hard work."
You can’t control what happens to you, but you can control how you respond.
姑娘自有神明为你照应，你心地纯洁，说话真诚。
决定胜负的不是狗的体型大小，而是狗的战斗意志。