λ演算是一种表示函数及其应用的形式体系。
I don't think that when people grow up, they will become more broad-minded and can accept everything.Conversely, I think it's a selecting process, knowing what's the most important and what's the least. And then be a simple man.