基于Monad的纯函数式语言文件系统设计  

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

作　　者：袁华强[1] 孙永强[2] 石跃祥[3] 

机构地区：[1]东莞理工学院计算机科学与技术系,广东东莞523106 [2]上海交通大学计算机科学与工程系,上海200030 [3]湘潭大学信息工程学院,湖南湘潭411105

出　　处：《东莞理工学院学报》2004年第1期12-18,共7页Journal of Dongguan University of Technology

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

关 键 词：MONAD 纯函数式语言 文件系统 系统设计 状态转换嚣 操作系统 

分 类 号：TP391.1[自动化与计算机技术—计算机应用技术] TP317.2[自动化与计算机技术—计算机科学与技术]