Catch as an algebraic effect - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.


In this paper by Wu et al. they show how to encode callcc using (first-order) algebraic effects.

  1. Is there any catch to that encoding? (is there anything you can do with "mtl"-style callcc you can't do with that encoding?) (pun not intended!)
  2. Is a similar first-order encoding possible for catch?
Asad Saeeduddin

@Lysxia Nicolas Wu is on Slack under the handle @zenzike

Asad Saeeduddin

(I don't know the answer to your question :) )

Julian KG

if he responds could you copy the response here? thanks :)