论文部分内容阅读
针对Ｐｅｙｔｏｎ Ｊｏｎｅｓ ＆ Ｗａｄｌｅｒ在ＩＯ Ｍｏｎａｄ设计的一个基于状态转换的函数Ｉ／Ｏ系统中，存在着某状态没有显式地反应在ＩＯ类型中，为了克服诸于此类问题，定义了状态转换器及其状态组合子，统一处理了Ｐｅｙｔｏｎ Ｊｏｎｅｓ ＆Ｗａｄｌｅｒ的ＩＯ类型，并给出了基本Ｉ／Ｏ操作ｃｃａｌｌ的指称语义。