14 ms·
I may be incorrect, but isn't call/cc+state equivalent to delimited continuations? I.e. one can be implemented with the other (and IIRC Racket does have state)
by riffraff 1y ago
I may be incorrect, but isn't call/cc+state equivalent to delimited continuations?
I.e. one can be implemented with the other (and IIRC Racket does have state)
- wk_end 1y agoOleg covers this on his page "An argument against call/cc" (which is linked). The long-and-short of it is: only in a toy-like way; in practice even call/cc + state are insufficient primitives. https://okmij.org/ftp/continuations/against-callcc.html#traps https://okmij.org/ftp/continuations/against-callcc.html#trap...
- riffraff 1y agoThanks!
- deleted 1y ago[deleted]