Success is not final, failure is not fatal: it is the courage to continue that counts.
每一本书都是一次旅程,每一次旅程都会改变你。
函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。