Algebraic effects


Topic | v1 | created by jjones |
Description

Algebraic effects are an approach to computational effects based on a premise that impure behaviour arises from a set of operations such as get & set for mutable store, read & print for interactive input & output, or raise for exceptions. This naturally gives rise to handlers not only of exceptions, but of any other effect, yielding a novel concept that, amongst others, can capture stream redirection, backtracking, co-operative multi-threading, and delimited continuations.


Relations

e.g. Unison Abilities

Unison's type system tracks which functions can do I/O, and the same language feature, called abiliti...

subtopic of Functional programming

In computer science, functional programming is a programming paradigm where programs are constructed...


Edit details Edit relations Attach new author Attach new topic Attach new resource
Resources