函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
I don't want to be alone, I want to be left alone.
People are not lazy. They simply have impotent goals – that is, goals that do not inspire them.