λ演算本质上是一个关于函数及其应用的理论。

一本好书的标准在于它能在多大程度上扰乱读者的心绪。

My name is Celaena Sardothien. But it makes no difference if my name’s Celaena or Lillian or Bitch, because I’d still beat you, no matter what you call me.

唯一真正的智慧在于知道你一无所知。