人生就像骑单车。想保持平衡就得往前走。
λ演算本质上是一个关于函数及其应用的理论。
每一个人都是宇宙的一部分。