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

状态总与变化相关，如果我们不使用可变的变量，那要如何表示状态？又该如何使状态间的转换更加方便？

直接手写词法语法分析往往非常痛苦，parser combinator 也许是一个不错的解决方案，其中还能反映一种有趣的编程思想。