愚蠢的人认为说真话很容易;只有艺术家,伟大的艺术家,知道这有多难。
λ演算本质上是一个关于函数及其应用的理论。
The joy of science is in the journey, not just the destination.