λ演算是一种表示函数及其应用的形式体系。

Anyone who keeps the ability to see beauty never grows old.

A company's culture is defined by the worst behavior the leader is willing to tolerate.

质量意味着在无人监督时也能把事情做对。