基于Monad的纯函数式语言通道系统设计  

The Design of File System in the Pure Functional I/O Based on Monads

作　　者：袁华强[1] 孙永强[2] 

机构地区：[1]东莞理工学院计算机科学与技术系软件研究所,东莞523106 [2]上海交通大学计算机科学与工程系,上海200030

出　　处：《计算机科学》2004年第3期167-169,共3页Computer Science

摘　　要：本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。This paper discusses the definition of a complete functional I/O file system based on the state transformer. Using a nondeterministic Monad, we construct the process networks of operating systems. And the semantics of channel system have been given for using-

关 键 词：纯函数式语言 通道系统 设计 文件系统 MONAD 操作系统 进程 

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