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

I don’t like to be told who I am.

The wild doesn’t care about your past. It only cares about what you do in the moment.

Memory is a fragile boat adrift on the sea of time.

语出汉·桓宽《盐铁论·刺议》。能够与下面人商量计策的领导，是不会失策的；能发挥大家作用的人，是不会不成功的。