| 一种基于组合Monad的纯函数式通道系统操作 |
| |
| 引用本文： | 袁华强,孙永强.一种基于组合Monad的纯函数式通道系统操作[J].计算机工程与应用,2004,40(25):88-89,95. |
| |
| 作者姓名： | 袁华强 孙永强 |
| |
| 作者单位： | 1. 东莞理工学院计算机科学与技术系,广东,东莞,523106;东莞理工学院软件研究所,广东,东莞,523106
2. 上海交通大学计算机科学与工程系,上海,200030 |
| |
| 摘 要： | Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、IO等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言通道系统操作,给出了通道系统操作的操作语义。
|
| 关 键 词： | 纯函数式语言 Monad |
| 文章编号： | 1002-8331-(2004)25-0088-02 |
The Channel System Operations in the Pure Functional I/O Based on a Combined Monad |
| |
| Yuan Huaqiang , Sun Yongqiang.The Channel System Operations in the Pure Functional I/O Based on a Combined Monad[J].Computer Engineering and Applications,2004,40(25):88-89,95. |
| |
| Authors: | Yuan Huaqiang Sun Yongqiang |
| |
| Affiliation: | Yuan Huaqiang 1,2 Sun Yongqiang 31 |
| |
| Abstract: | Monads have served as a basis for adding other features to a purely functional language,notably exception?state and I /O.This paper defines the purely functional channel system operations based on a monad which is combined a state transformer monad with a exception monad.The operational semantics of channel system operations have been given for using. |
| |
| Keywords: | pure function language Monad |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
