3.1　設計原理

基于第2章介紹的基本概念和邏輯架構，本節對有狀態函數編程模型的定義、接口及使用進行詳細闡述。