函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
你不应该认为对你来说难以掌握的东西是不可能的,如果是人类可以实现的,就应该认为它是可以实现的。
Solitude gives birth to the original in us, to beauty unfamiliar and perilous—to poetry.