λ演算本质上是一个关于函数及其应用的理论。
Chemistry is the science of connections, both literal and metaphorical.
永远不要低估为更大目标迈出的小而持续的步骤的力量。