It's worth looking at the Eff language, which is an OCaml variant. Much easier to understand, especially if you're monadically challenged. This paper is a great

It's worth looking at the Eff language, which is an OCaml variant. Much easier to understand, especially if you're monadically challenged. This paper is a great introduction to the idea of algebraic effects: http://math.andrej.com/2012/03/08/programming-with-algebraic-effects-and-handlers/ http://math.andrej.com/2012/03/08/programming-with-algebraic... Shameless plug, I gave a talk about this at the NYC "Papers We Love" meetup. Audio & slides can be found here: http://www.mixcloud.com/paperswelove/bbloom_3_17_2014_programming_with_alegebraic_effectshandlers/ http://www.mixcloud.com/paperswelove/bbloom_3_17_2014_progra...