nLab algebraic effect




Algebraic effects are computational effects that can be represented by an equational theory, or algebraic theory, whose operations produce the effects at hand.

They provide an alternative to using monads (in computer science) for modelling effects with a functional programming language. This approach has been realized in the programming language Eff.

Continuations are not algebraic effects.


Last revised on October 10, 2016 at 10:39:27. See the history of this page for a list of all contributions to it.