λ演算本质上是一个关于函数及其应用的理论。
The truth is like poetry. And most people fucking hate poetry.
智力是当你不确定该做什么时所使用的东西。