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

关键词: 纯函数式语言 通道系统 设计 文件系统 Monad 操作系统 进程