·mapstateF公司

抽象的谎言：有状态的

类型

地图状态：(t->一-> (t, [b])) ->t->F 一 b

地图状态stf s0

地图斯塔夫用内部状态创建抽象的虚幻。状态转移函数决定了它的行为。

将成为stf公司.

应用的结果stf公司.

stf公司::t->一-> (t, [b]): 状态转移函数。每当出现输入信息时，stf公司应用于消息和当前状态。应用程序的结果是一个新的内部状态和一个列表输出消息。
第0页::t: 初始内部状态。

countF=mapstateF count 0，其中count n=（n+1，[n+1]）

sumF=mapstateF add 0，其中add acc n=（acc+n，[acc+n]）

mapstateF stf s0=absF（concatMapAccumlSP stf s0）

无状态抽象谎言：mapF公司.