The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
            
            
        
        
    函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
        你读得越多,知道的东西就越多。你学得越多,去的地方就越多。
                    最好的故事是那些与人类经验产生共鸣的故事。
                    我认为艺术的功能是让生活比艺术更有趣。