3.1　设计原理

基于第2章介绍的基本概念和逻辑架构，本节对有状态函数编程模型的定义、接口及使用进行详细阐述。