λ演算本质上是一个关于函数及其应用的理论。
La vida es una novela que cada uno escribe con sus propias decisiones.