非确定性Monad  

A NON-DETERMINISTIC MONAD

作　　者：袁华强[1] 肖倩 孙永强[1] 

机构地区：[1]湘潭大学计算中心,上海交通大学计算机科学与工程系

出　　处：《计算机学报》1997年第3期284-288,共5页Chinese Journal of Computers

摘　　要：纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ，用此Ｍｏｎａｄ在纯函数式语言中描述了非确定性进程网，证明了一些有用的代数性质．It is difficult for pure functional languages to express non-deterministic programs. This paper introduces a non-deterministic Monad to express non-determinism functionally. Non-deterministic process networks can be described within pure functional languages by the Monad, Some useful algebraic properties are proved.

关 键 词：非确定性 MONAD 纯函数式语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]