stub
An effect handler is an interpretation of the algebraic effects of a computation.
Conceptually, algebraic operations and effect handlers are dual: the former could be called effect constructors as they give rise to the effects; the latter could be called effect deconstructors as the computations they provide proceed according to the effects already created. (PlotPret13)
Handlers have also been defined (Lindley14) for more general effects, such as applicative functors and arrows (or idioms).
Matija Pretnar, An Introduction to Algebraic Effects and Handlers, tutorial
Gordon Plotkin, Matija Pretnar, Handling Algebraic Effects, arXiv:1312.1399
Ohad Kammar, Sam Lindley, Nicolas Oury, Handlers in Action, pdf
Nicolas Wu, Tom Schrijvers, Ralf Hinze, Effect Handlers in Scope, pdf
Sam Lindley, Algebraic Effects and Effect Handlers for Idioms and Arrows, (pdf)
Last revised on April 17, 2018 at 10:22:48. See the history of this page for a list of all contributions to it.