λ演算本质上是一个关于函数及其应用的理论。
We don’t inherit the ocean from our ancestors; we borrow it from our children.