代码织造

把状态计算写成纯函数：一个消息列表的例子

从一条消息的已读状态开始，把计算与执行分开，也看清纯函数能解决什么、不能解决什么。