Multi-shot continuations gone forever?

For what it is worth, I am in the process of building a library for OCaml 5.00 that provides continuations with multi-shot semantics on top of OCaml’s native continuations. I have managed to get an initial prototype implementation working, though, it is still a bit rough around the edges (and probably has some bugs). E.g. at the time of writing it only works with native code compiler. I do plan to support for the byte code interpreter too. You can track the progress via GitHub - dhil/ocaml-multicont: multi-shot continuations in OCaml.

6 Likes