La vie est un miroir: si tu y regardes en souriant, il te sourit en retour.
λ演算本质上是一个关于函数及其应用的理论。