The Design of File System in the Pure Functional I/O Based on Monads
Yuan Hua · 2004
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-