一种基于组合Monad的纯函数式文件系统操作

摘要：

本文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言文件系统操作,给出了文件系统操作的操作语义.

关键词： 函数式语言 Monad 范畴论 文件操作系统 操作语义 软件工程

作者: 袁华强 孙永强

作者单位: 东莞理工学院计算机科学与技术系(东莞);东莞理工学院软件研究所(东莞) 上海交通大学计算机科学与工程系(上海)

会议类型: 国内会议

会议名称: 2003”全国软件与应用学术会议

会议地点: 北京

会议语种:中文

页码: 89-93

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）