一种基于组合Monad的纯函数式Lazy I/O操作  

A Pure Functional Lazy I/O Operation Based on Combined Monads

作　　者：袁华强[1] 王亚强[2] 孙永强[3] 

机构地区：[1]东莞理工学院计算机科学与技术系,广东东莞523106 [2]东莞理工学院软件研究所,广东东莞523106 [3]上海交通大学计算机科学与工程系,上海200030

出　　处：《计算机工程与科学》2006年第7期119-122,共4页Computer Engineering & Science

摘　　要：Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、I/O等非纯函数式语言的特征。本文通过组合状态转换Monad和异常处理Monad来定义纯函数式LazyI/O操作,既保持了纯函数式语言的特征,又融入了非纯函数式语言的特征。Monads serve as the basis for adding other features to a pure functional language, such as exception, state and I/O. This paper defines the pure functional lazy I/O operations based on Monads by combining a state transformer monad with an exception processing monad. This method shows that I/O can be incorporated into pure functional languages without losing the advantages of pure functional languages.

关 键 词：纯函数式语言 MONAD lazy I/O 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]