Freer Monads, More Extensible Effects (2015)
9 points by calvin
9 points by calvin
By the way, if anyone wants to learn about effect handlers, I was sent this book recently: Xavier Leroy's Control Structures in Programming Languages
I have previously always recommended reading the Effekt series of papers, as I've found them the most accessible introduction to effect handlers. But Part III of this Xavier Leroy book is the best exposition I've ever read on the topic. It's very careful about effect terminology (which is confusing) and it's well-motivated by going from exceptions ==> effect handlers ==> monads ==> algebraic effects ==> type and effect systems.