On: A Gentle Introduction to Monad Transformers – or, Values as Exceptions

[codygman]

Any good resources on extensible effects? I'm currently reading:

http://okmij.org/ftp/Haskell/extensible/index.html

I also know of:

http://jozefg.bitbucket.org/posts/2014-07-15-reading-extensi...

However I was wondering if there was a "Gentle introduction to extensible effects".

Edit: I found this presentation: http://ro-che.info/docs/2014-06-14-extensible-effects.html#1...

[brandonbloom → codygman]

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...

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_progra...

[mercurial → brandonbloom]

I read the Eff paper, and I was blown away. I find monad transformers to be extremely clunky in comparison. The mental tax of Eff seems a lot smaller.