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.

• 本文通过状态转换器来定义I/O的文件系统,并用非确定性monad描述了操作系统的进程网,从而给出了文件系统的语义。