Liberating effects with rows and handlers
Hillerström, Daniel, Lindley, Sam·2016·Proceedings of the 1st International Workshop on Type-Driven Development
Abstract
Algebraic effects and effect handlers provide a modular abstraction for effectful programming. They support user-defined effects, as in Haskell, in conjunction with direct-style effectful programming, as in ML. They also present a structured interface to programming with delimited continuations.