纯函数式语言相关论文
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语......
本文通过状态转换器来定义I／O的文件系统，并用非确定性Monad描述了操作系统的进程网，从而给出了文件系统的语义。......
Monad作为构造纯函数式语言的工具，能构造出诸如错误处理、状态、10等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理......
采用unboxed数据类型实现纯函数式I/O系统,通过一个由unboxed数据类型定义的程序转换系统将纯函数式I/O程序转换为C语言代码,其中......
Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、I/O等非纯函数式语言的特征.本文通过组合状态转换Monad和异常处......
状态、输入和输出是Z规范的基础，引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个M......
