nLab
algebraic effect

Contents

Idea

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.

References

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