"Books are the quietest and most constant of friends."
λ演算本质上是一个关于函数及其应用的理论。
最好的艺术作品是问题,而不是答案。
The best way to find out if you can trust somebody is to trust them.