λ演算是一种表示函数及其应用的形式体系。
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.
质量意味着在无人监督时也能把事情做对。