An Introduction to Algebraic Effects and Handlers
Type Paper
Created 2015-12
Available at eff-lang.org/handlers-tutorial.pdf
Identifier http://dx.doi.org/10.1016/j.entcs.2015.12.003
Description
This paper is a tutorial on algebraic effects and handlers. In it, we explain what algebraic effects are, give ample examples to explain how handlers work, define an operational semantics and a type & effect system, show how one can reason about effects, and give pointers for further reading.
Relations
Algebraic effects are an approach to computational effects based on a premise that impure behaviour a...
Edit details Edit relations Attach new author Attach new topic Attach new resource
9.0 /10
useless alright awesome
from 1 review
- Resource level 5.0 /10
- beginner intermediate advanced
- Resource clarity 7.0 /10
- hardly clear sometimes unclear perfectly clear
- Reviewer's background 3.0 /10
- none basics intermediate advanced expert