函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
I never regret my choices because that's my life.
释义:智慧本就在你心里,无需外求。
Innovation is seeing what everybody has seen and thinking what nobody has thought.
The next generation will judge us by what we leave in the water, not what we take out.