On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control — mentioned by fmap

Sat, 06 Oct 2018 18:22:34 GMT

You're right, the linearity restriction on the handler continuation is a peculiarity of multi-core OCaml and really more of an implementation detail. However, it is also true that you cannot encode, e.g., the continuation monad using (typed) algebraic effects. The precise relationship isn't that simple, but this paper: https://arxiv.org/abs/1610.09161 analyzes a particular setting in detail.

Paper and discussion history. A mention is not an endorsement.

On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control · HackerPapers discussions

On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control — mentioned by fmap