基于monad的纯函数式语言通道系统设计

本文通过状态转换器来定义i／o的文件系统，并用非确定性monad描述了操作系统的进程同，从而给出了通道系统的语义。