摘要
纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ，用此Ｍｏｎａｄ在纯函数式语言中描述了非确定性进程网，证明了一些有用的代数性质．
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.
出处
《计算机学报》
EI
CSCD
北大核心
1997年第3期284-288,共5页
Chinese Journal of Computers
关键词
非确定性
MONAD
纯函数式语言
Non-determinism
Monad
pure functional programming
process network.
