纯函数式语言的状态转换器与调用

作     者：石跃祥 袁华强 SHI Yue-Xiang;YUAN Hua-Qiang

作者机构：湘潭大学计算机科学系湘潭411105 

出 版 物：《湘潭大学自然科学学报》 (Natural Science Journal of Xiangtan University)

年 卷 期：2000年第22卷第3期

页      码：25-29,34页

摘      要：针对PeytonJones&Wadler在IOMonad设计的一个基于状态转换的函数I/O系统中 ,存在着某状态没有显式地反应在IO类型中 ,为了克服诸于此类问题 ,定义了状态转换器及其状态组合子 ,统一处理了PeytonJones&Wadler的IO类型 ,并给出了基本I/O操作ccall的指称语义 .

主 题 词：状态转换器 纯函数语言 状态组合子 指称语义 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-5900.2000.03.006

馆 藏 号：203542558...