| 函数式语言中赋值语句（之二） |
| |
| 引用本文： | 石跃祥,袁华强. 函数式语言中赋值语句（之二）[J]. 湘潭大学自然科学学报, 2001, 23(1): 8-11,6 |
| |
| 作者姓名： | 石跃祥 袁华强 |
| |
| 作者单位： | 湘潭大学计算机科学系, |
| |
| 摘 要： | 为了能够较好地处理函数式程序设计语言中的I/O问题，通过采用Monad方法将I/O加入到函数式程序设计语言中，来保持函数式程序设计语言的优点，本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题。
|
| 关 键 词： | 函数式程序设计语言 赋值操作 输入／输出 指称语义 赋值语句 引用透明性 |
| 文章编号： | 1000－5900(2001)01－0008－04 |
Secondary of theAssignmentst in Pure Function Languages |
| |
| SHI Yue-Xiang,YUAN Hua-Qiang. Secondary of theAssignmentst in Pure Function Languages[J]. Natural Science Journal of Xiangtan University, 2001, 23(1): 8-11,6 |
| |
| Authors: | SHI Yue-Xiang YUAN Hua-Qiang |
| |
| Abstract: | In order to process the I/O problem of the pure function language , the assignment can be incorporated into pure function languages to keep the advantage by Monads .This paper discuss the adding of the assignment in the function I/O system without loss of referential transparency. |
| |
| Keywords: | function programming languages assign operations I/O denotational semantic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
