Handlers in action
Handlers in action
复制标题
处理程序在行动
DOI：
10.1145/2500365.2500590
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Kammar O
中科院分区：
文献类型：
--
作者：
Kammar O
Plotkin和Pretnar的代数效果处理器在有效计算的抽象设计空间中占据了一个最佳位置。通过将效果签名与其实现分离，代数效果提供了高度的模块化，允许程序员独立于其效果的具体解释来表达有效的程序。处理程序是对代数计算结果的解释。处理程序抽象可以很好地适应多种设置：纯类型或不纯类型、严格类型或惰性类型、静态类型或动态类型。这是一份立场文件，其主要目的是推广处理程序抽象。我们给出了一个温和的介绍，它的使用，说明性的例子，和一个简单的操作语义的集合。我们详细描述了处理程序的Haskell实现，概述了OCaml，SML和Racket实现背后的想法，并将处理程序与现有代码进行了比较。
Plotkin and Pretnar's handlers for algebraic effects occupy a sweet spot in the design space of abstractions for effectful computation. By separating effect signatures from their implementation, algebraic effects provide a high degree of modularity, allowing programmers to express effectful programs independently of the concrete interpretation of their effects. A handler is an interpretation of the effects of an algebraic computation. The handler abstraction adapts well to multiple settings: pure or impure, strict or lazy, static types or dynamic types. This is a position paper whose main aim is to popularise the handler abstraction. We give a gentle introduction to its use, a collection of illustrative examples, and a straightforward operational semantics. We describe our Haskell implementation of handlers in detail, outline the ideas behind our OCaml, SML, and Racket implementations, and present experimental results comparing handlers with existing code.
登录
查看更多内容
简单对象的完整类型推断
DOI：
--
发表时间：
1987
期刊：
Logic in Computer Science
影响因子：
--
作者：
M. Wand
通讯作者：
M. Wand
Monatron：可扩展的 Monad 变压器库
DOI：
--
发表时间：
2008
期刊：
International Symposium on Implementation and Application of Functional Languages
影响因子：
--
作者：
Mauro Jaskelioff
通讯作者：
Mauro Jaskelioff
DOI：
--
发表时间：
2001
期刊：
Mathematical Foundations of Programming Semantics
影响因子：
--
作者：
G. Plotkin;J. Power
通讯作者：
J. Power
代表单子
DOI：
10.1145/174675.178047
发表时间：
1994
期刊：
SSRN Electronic Journal
影响因子：
--
作者：
Andrzej Filinski
通讯作者：
Andrzej Filinski
抽象控制
DOI：
10.1145/91556.91622
发表时间：
1990
期刊：
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
O. Danvy;Andrzej Filinski
通讯作者：
Andrzej Filinski