The State Transformer & Calling of Pure Function I/O
Shi Hong Yue · Natural Science Journal of Xiangtan University · 2000
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.