You're bluffing.

@U4YGF4NGM https://www.eff-lang.org/handlers-tutorial.pdf short answer, you don't need first class continuations, no.

thanks! @U06GS6P1N not sure what you mean. most of my encounters with algebraic effects has come from reading multicore OCaml, which does use delimited continuations heavily

I can’t tell if I’m being dense, @U1GCL8V2B it looks like that paper assumes delimited continuations exist in their language

Oh god, sorry, yes, you do. I had not had anywhere near enough coffee when I wrote that xD

it’s ok 🙂

Apologies if I sent you down a rabbit hole...

nah. I had skimmed that article before but you made me actually sit down and read at least the beginning part, which was good 😛

😄

it seems like there’s a specific class of effects one can imagine implement without continuations, e.g. any synchronous accessing of resource or task. but anything where you want to halt (e.g. exceptions) or continue later after another thread of execution requires continuations

@U4YGF4NGM I was joking :)

😄 ❤️

Ask him to solve an even harder optimization problem with everyone CC'd

Also, the Git log contains your email information, right?

I suggest to go to talk to him. Keep in mind that hear-says are sources of misunderstandings, assume the best and ask for clarifications.