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

The State Transformer & Calling of Pure Function I/O

针对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.