As far as I can tell, algebraic effects are a kind of typed delimited continuations. As for call/cc, some people agree that it's too general and powerful for it

As far as I can tell, algebraic effects are a kind of typed delimited continuations. As for call/cc, some people agree that it's too general and powerful for its own good: https://okmij.org/ftp/continuations/against-callcc.html https://okmij.org/ftp/continuations/against-callcc.html > The only reward for the hard work to capture the whole continuation efficiently is more hard work to get around the capture of the whole continuation. Both the users and the implementors are better served with a set of well-chosen control primitives of various degrees of generality with well thought-out interactions.