Re:Algebraic Effects – You Can Touch This (2019)
by nerdponx on Thursday December 15, 2022 @09:44AM
(#34000231)
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
> 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.
> 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.