| 摘要: |
| 文章探讨了怎样在纯函数式语言中加入赋值操作，而又不丧失引用透明性特征的问题，给出了这些操作的指称语义，并用这些赋值操作定义了一个简单的命令式语言的解释程序. |
| 关键词: 纯函数式语言,赋值语句,Monads. |
| DOI： |
| 分类号: |
| 基金项目: |
|
| Assignments for Pure Functional Languages |
|
SHI Yue-xiang,YUAN Hua-qiang,SUN Yong-qiang,CHEN Jing
|
| Abstract: |
| In this paper, the authors show that assignments can be incorporated into pure functional languages without loss of referential transparency. And the denotational semantics of these assignment operations are given. Using these assignment operations, the authors define an interpreter of a simple imperative language. |
| Key words: Pure functional languages, assignments, Monads. |
