有效

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


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

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

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