Freedom is not the choice, but the chance to choose.
函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
我们必须相信,我们在某事上有天赋,并且必须实现它。