首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到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的指称语义。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号