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 + st

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#traps https://okmij.org/ftp/continuations/against-callcc.html#trap...