λ演算本质上是一种纯粹抽象的函数理论。

All architecture is shelter, all great architecture is the design of space that contains, cuddles, exalts, or stimulates the persons in that space.

Every age has its pleasures, its style of wit, and its own ways.

我们需要从一种获取-制造-浪费的经济转向一种再生型经济。

公用电话，希望你会打给我。

当你为爱情而钓鱼时，要用你的心当作饵，而不是用你的脑筋。