？映射状态F

抽象软糖：有状态

类型

映射状态F:：(t吨->一-> (t吨, [b条])) ->t吨->F类 一 b条

剧情简介

映射状态F stf s0

描述

映射状态F创建具有内部状态的抽象软糖。状态转移函数决定其行为。

输入

将成为机顶盒.

输出

应用的结果机顶盒.

论据

机顶盒时间：t吨->一-> (t吨, [b条])
状态转换函数。每当出现输入消息时，机顶盒应用于消息和当前状态。应用程序的结果是一个新的内部状态和一个列表共条输出消息。

第0集时间：t吨
初始内部状态。

例子

countF=映射状态F 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）

另请参见

无状态抽象虚设：地图F.

相关组合词：地图累计SP,吸收F.