effect handler



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


Last revised on April 17, 2018 at 10:22:48. See the history of this page for a list of all contributions to it.