On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
Abstract We compare the expressive power of three programming abstractions for user-defined computational effects: Plotkin and Pretnar’s effect handlers, Filinski’s monadic reflection, and delimited control. This comparison allows a precise discussion about the relative expressiveness of each programming abstraction. It also demonstrates the sensitivity of the relative expressiveness of user-defined …