家不是你出生的地方;家是你所有逃离企图终止的地方。
λ演算本质上是一个关于函数及其应用的理论。