The Design of File System in the Pure Functional I/O Based on Monads
基于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-