Hacker News new | ask | show | jobs
by DonaldPShimoda 257 days ago
By "it" do you mean delimited continuations? If so, my understanding is that they are the standard mode of interruption in Racket — all error-raising/handling and other continuation forms (call/cc, etc) are implemented in terms of delimited continuations because they're a more general abstraction than the older primitives. You can read about Racket's continuation model and where they're used in §10.4 of the Racket Reference [1].

[1] https://docs.racket-lang.org/reference/cont.html

2 comments

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)
Oleg 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#trap...

Thanks!
>delimited continuations?

Yes, sorry typed this up on the run.

No worries, just wanted to clarify to make sure my response was on-topic!