函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。

There are no shortcuts in technology, only steady step-by-step progress.

Wealth should not be concentrated in the hands of a few, but should be distributed among all through fair competition.

【译文】 子贡问：“孔文子凭什么获得‘文’的称号？”孔子说：“灵敏又好学，向比自己学问差的人请教时，不觉得没面子，所以称为‘文’。”

简洁是可靠性的前提。