函數式語言

erlang 這種函數式語言，變量只能綁定一次，在實現狀態機的時候，其實現方式就和命令式語言不一樣了。

變量失去了記錄狀態的能力，只能依賴於函數自己的程序狀態來實現。

每一個狀態聲明一個函數，經過當前運行所在的函數，肯定當前的狀態。

論狀態的多種表示方式。