λ演算本质上是一个关于函数及其应用的理论。
Anyone who isn't embarrassed of who they were last year probably isn't learning enough.