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

The State Transformer & Calling of Pure Function I/O

作　　者：石跃祥[1] 袁华强[1] 

机构地区：[1]湘潭大学计算机科学系,湘潭411105

出　　处：《湘潭大学自然科学学报》2000年第3期25-29,34,共6页Natural Science Journal of Xiangtan University

摘　　要：针对PeytonJones&Wadler在IOMonad设计的一个基于状态转换的函数I/O系统中 ,存在着某状态没有显式地反应在IO类型中 ,为了克服诸于此类问题 ,定义了状态转换器及其状态组合子 ,统一处理了PeytonJones&Wadler的IO类型 ,并给出了基本I/O操作ccall的指称语义 .In the function I/O system which based on the state transformer of Peyton Jones & Wadler designed,there are some states do not reflect clearly in the IO type.In order to avoid such a problem,this paper gives the definition of the state transformer and its combinators.This definition can deal with IO type of Peyton Jones &Wadler.This paper also gives the denotational semantics of the based I/O CCALL operational.

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

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]