上升计数器

这个程序有一个按钮和一个数字显示。按下按钮可增加显示屏上的数字。

本例中特定于应用程序的代码位于按钮之间还有显示器。它在内部维护一个递增的计数器以及每当从按钮接收到点击时输出到显示器。

以下是源代码：

进口 胡说八道

主要的 = 胡说八道(贝壳 “递增计数器” 假币)假币 = intDispF公司 >==< 地图斯塔夫 计数 0 >==< 按钮 “向上”

计数 n 点击 =(n+1,[n+1])

注意事项

• 就像是阶乘示例中央项目的一部分(假币)是由三部分组成的连续剧。在输出端，我们看到熟悉的intDispF公司.在管线的输入端有一个按钮按钮.它输出一个点击按下时。中间部分维护一个内部计数器。计数器递增，并且当点击收到从按钮。

• 地图斯塔夫,喜欢mapF公司,允许消息在fudget之间发送以在特定应用程序中处理好吧。地图斯塔夫允许您输出任意响应输入消息的消息数。此外输出不仅取决于电流输入，还取决于内部状态。地图斯塔夫有两个参数：一状态转移函数以及初始状态。当应用于当前状态和输入消息时，状态转换函数应生成新的内部状态和输出消息列表。功能计数是状态转移函数在这个节目里。