What we need to do is make users' lives simpler.
我们要做的是让用户的生活更简单。
函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。