函数式语言

erlang 这种函数式语言，变量只能绑定一次，在实现状态机的时候，其实现方式就和命令式语言不一样了。

变量失去了记录状态的能力，只能依赖于函数自己的程序状态来实现。

每一个状态声明一个函数，经过当前运行所在的函数，肯定当前的状态。

论状态的多种表示方式。