Name: Anonymous 2005-12-21 8:09
Because I'm learning it, almost done through the tutorial, and it looks great.
control0 can easily implement all of them, and that's what the paper I linked basically does, using a control operator with control0-like semantics.shift0 and control can easily implement shift.shift couldn't implement control, but it was disproved in Shift to control, also proving that any control operator can implement each other (this is my logical conclusion, it is known that they can, but I'm not sure that this is the why)call/cc and set!, but if you remove set!, call/cc becomes helpless. And delimited continuations can express mutable state, or any computational effect.call/cc application with set!, that code is just emulating delimited continuations.
set!, but instead of call/cc+set!.call/cc+set! are the excessive calls to call/cc, which is a costly operation in most non-CPS implementations.call/cc that doesn't look like absolute spaghetti code. Most applications of delimited continuations I've seen were pretty straightforward.