Comment by bjoli
3 days ago
CPS transformation is a good thing to do anyway, no? Then CPS your CPS and you have delimited continuations.
3 days ago
CPS transformation is a good thing to do anyway, no? Then CPS your CPS and you have delimited continuations.
Go straight for delimited continuations, which give you global ones for free.
Oh. I meant not using call/cc, but by doing local CPS transformations. This is the simple way, but has limitations with dynamic uses of reset.
A direct implementation is harder, but probably more useful.