nLab effect handler

stub

Idea

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).

References

• 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)