解释静态作用域和动态作用域的区别，并对其进行实现与模拟。

计算不是计算机，计算也不是 1 + 2，它是一个更为本质的东西。通过用 lambda 演算来描述计算可以从另一个角度对其进行理解。