The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
我们不只是制造家具,我们创造生活发生的环境。
爱就是冒着受伤的风险,而不爱则是保证了一生的虚度。
Small actions, multiplied by millions, can transform the world.
No matter how good you get you can always get better, and that's the exciting part.
You have to have a certain arrogance to be an architect.