Programming with Algebraic Effects and Handlers

Details Programming with Algebraic Effects and Handlers Programming with Algebraic Effects and Handlers

2012-03-07

arxiv.org/abs/1203.1539v1

Computer Science

Programming Languages

Scientific paper

Eff is a programming language based on the algebraic approach to computational effects, in which effects are viewed as algebraic operations and effect handlers as homomorphisms from free algebras. Eff supports first-class effects and handlers through which we may easily define new computational effects, seamlessly combine existing ones, and handle them in novel ways. We give a denotational semantics of eff and discuss a prototype implementation based on it. Through examples we demonstrate how the standard effects are treated in eff, and how eff supports programming techniques that use various forms of delimited continuations, such as backtracking, breadth-first search, selection functionals, cooperative multi-threading, and others.

Affiliated with

Also associated with

No associations

Rating

Programming with Algebraic Effects and Handlers does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Programming with Algebraic Effects and Handlers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Programming with Algebraic Effects and Handlers will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-395105