Handlers for Non-Monadic Computations
Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas · 2017
Algebraic effects and handlers are a convenient method for structuring monadic effects with primitive effectful operations and separating the syntax from the interpretation of these operations. However, the scope of conventional handlers are somewhat limited as not all side effects are monadic in nature.