纯函数式语言相关论文
本文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言文件系统操作,给出了文件系统操作的操作语义.......
在进行协议验证的研究中,研究人员采用并实现用一种惰性高阶纯函数式语言Clean作为验证的核心计算器。Clean语言的实现是基于图重写系统的。该......
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语......
<正>函数式程序设计是指程序完全由函数组成,其中都有一个主函数,主函数是根据其它函数来定义的,直到最低层函数成为函数式语言所......
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了文件系统的语义。......
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义.......
PhilipWadler在探讨用Monad构造纯函数式程序时,介绍了一个简单的词法分析程序的构造过程,本文进一步研究了这种方法,并用这种方法构造出一个能进行复杂......
Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、10等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理......
采用unboxed数据类型实现纯函数式I/O系统,通过一个由unboxed数据类型定义的程序转换系统将纯函数式I/O程序转换为C语言代码,其中......
程序的江湖中总是风水轮流转,前些年面向对象编程(OOP)当道,这几年函数式编程(FP)渐渐渗透进主流。莫要感叹世事变化莫测,让我们抛开纷杂......
纯函数式语言缺乏处理非确定性的功能,本文给出了一个非确定性Monad,用此Monad在纯函数式语言中描述了非确定性进程网,证明了一些有用的代数性质......
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的......
Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、I/O等非纯函数式语言的特征.本文通过组合状态转换Monad和异常处......
状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个M......