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

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

Future 能够将计算任务的并发化和计算最终的执行方式分离，通过一套设计良好的 API 使得对数据的操作变得简单。