λ演算本质上是一个关于函数及其应用的理论。
电影的力量在于它能够让我们在这个世界上感到不那么孤单。