共查询到2条相似文献,搜索用时 31 毫秒
1.
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点,本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题。 相似文献
2.
纯函数式语言的状态转换器与调用 总被引:1,自引:1,他引:0
针对Peyton Jones & Wadler在IO Monad设计的一个基于状态转换的函数I/O系统中,存在着某状态没有显式地反应在IO类型中,为了克服诸于此类问题,定义了状态转换器及其状态组合子,统一处理了Peyton Jones &Wadler的IO类型,并给出了基本I/O操作ccall的指称语义。 相似文献