%0 Journal Article
%T The Design of File System in the Pure Functional I/O Based on Monads<br>基于Monad的纯函数式语言通道系统设计
%A YUAN Hua-Qiang SUN Yong-Qiang
%A <br>袁华强
%A 孙永强
%J 计算机科学
%D 2004
%I 
%X 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-
%K Pure function language
%K Monad<br>纯函数式语言
%K 通道系统
%K 设计
%K 文件系统
%K Monad
%K 操作系统
%K 进程
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=55F49A6ADE2E8558&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=38B194292C032A66&sid=ED01F5AE50BE09C0&eid=954CE65414DD94CA&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8