λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
When I approach a child, he inspires in me two sentiments; tenderness for what he is, and respect for what he may become.