有效

Eff是一种基于代数效应及其处理程序的函数式编程语言。代数效应是将计算效果添加到纯函数设置中的一种方法。从技术上讲,它们包含在计算效果的一元方法中,但它们提供了用单子不容易实现的编程新方法。尤其是,代数效果是无缝结合的,而monad变换器则需要在一元风格。eff的主要思想是通过一组操作来访问计算效果,例如查找和更新状态、读写I/O、引发异常等。操作的行为由处理程序决定。就像异常处理程序确定引发异常时会发生什么一样,通用处理程序描述在触发操作时所采取的操作。处理程序的示例包括状态、事务、非确定性、流重定向、回溯、分隔的延续,以及许多其他。因为eff支持一流的效果和处理程序,程序员可以定义新的计算效果,组合现有的效果,并以新的方式处理效果。例如,ML样式引用是eff中定义的概念。Eff代码的外观和感觉都与Ocaml类似,因为Eff使用了Ocaml语法,这些语法通过为效果和处理程序的构造进行了扩展。此外,eff是一种具有参数多态性和类型推理的静态类型语言。这些类型与OCaml和ML的其他变体相似,因为它们不表示任何关于计算效果的信息。


zbMATH中的参考文献(参考文献19条,2标准条款)

显示第1至19个结果,共19个。
按年份排序(引用)

  1. 莱坦,托马斯;Ré吉纳斯,雅恩;奇夫利埃,皮埃尔;Hiet,Guillaume:使用效果和效果处理程序的模块化验证(2021)
  2. 布拉斯ä使用者,乔纳森·伊曼纽;舒斯特,菲利普;Ostermann,Klaus:Effekt:Scala中类型和效果安全的可扩展效果处理程序的能力传递样式(2020)
  3. 卢卡斯修道院;林德利,山姆;麦克布莱德,康纳;麦克劳克林,克雷格:嘟嘟蜂嘟嘟(2020)
  4. 埃基奇,布拉克;Kaliszyk,Cezary:Coq中形式化的Kleisli结构的Mac Lane比较定理(2020)
  5. 希尔斯特öm、 丹尼尔;林德利,山姆;阿特基,罗伯特:通过泛化延续的效果处理程序(2020)
  6. 卡拉查利亚斯,乔治亚;普雷特纳,马蒂亚;萨利赫,阿姆哈尼;范德哈伦,斯蒂恩;Schrijvers,Tom:显性效应亚型(2020)
  7. 卢克šč, Ž政府间协议;Pretnar,Matija:局部代数效应理论(2020)
  8. 拉利,文森特;Bickford,Mark:使用命名异常验证Brouwer数字连续性原则(2018)
  9. 安德烈亚斯;阿德尔斯伯格,斯蒂芬;Anton Setzer:Agda中的交互式编程——对象和图形用户界面(2017)
  10. 希尔斯特öm、 丹尼尔;林德利,山姆;阿特基,罗伯特;西瓦拉马克里什南,K。C、 :效果处理者的延续传球风格(2017)
  11. 奥哈德省坎马市;Pretnar,Matija:代数效果和处理程序不需要值限制(2017)
  12. 三月šík、 吉尔卡;Ambrard,Maxime:引入自然语言语义的效果和处理程序演算(2016)
  13. 萨利赫,阿姆哈尼;Schrijvers,Tom:Prolog的高效代数效果处理程序(2016)
  14. 鲍尔,安德烈;Pretnar,Matija:使用代数效果和处理程序编程(2015)
  15. Pretnar,Matija:代数效果和处理程序简介(特邀教程论文)(2015)
  16. 鲍尔,安德烈;Pretnar,Matija:代数效应和处理程序的效果系统(2014)
  17. Pretnar,Matija:推断代数效应(2014)
  18. 鲍尔,安德烈;Pretnar,Matija:代数效果和处理程序的效果系统(2013)
  19. 埃斯卡德ó, 市场ín: G的连续性ödel系统T可定义泛函的有效强制(2013)