eff:基于代数效应处理器的功能编程语言

【文件属性】：
文件名称：eff:基于代数效应处理器的功能编程语言
文件大小：478KB
文件格式：ZIP
更新时间：2021-04-29 18:21:59
OCaml 效果 Eff是一种基于代数效应及其处理函数的函数式编程语言。 代数效应是一种将计算效应添加到纯函数设置的方法。 从技术意义上讲，它们被单子方法包含在计算效果中，但是它们提供了单子不容易实现的新编程方式。 特别是，代数效果是无缝组合的，而单子形式的蒙纳德变换器则是必需的。 Eff的主要思想是通过一组操作来访问计算效果，例如，状态的lookup和update ，I / O的read和write ，异常的raise等。操作的行为由处理程序确定。 就像异常处理程序确定引发异常时会发生什么一样，通用处理程序描述了触发操作时采取的操作。 处理程序的示例包括状态，事务，不确定性，流重定向，回溯，定界连续性以及许多其他功能。 因为Eff支持一流的效果和处理程序，所以程序员可以定义新的计算效果，合并现有的效果并以新颖的方式处理效果。 例如，ML样式引用是Eff中定义的概念。 Eff代码的外观和感觉与