On: OCaml 5.0 Multicore is out

[amelius]

Would it be possible to take this work and turn it into a more general GC library that language implementers can use beside LLVM?

[c-cube → amelius]

If your language matches ocaml's runtime semantics, then sure. It means uniform representation, 63bits integers, etc. but can be quite useful if your language is ML-ish.

[sadiq → c-cube]

Also worth pointing out there's design constraints on the OCaml 5 GC imposed by some of OCaml's language features (looking at you ephemerons) and C API invariants.

There may be different constraints for other runtimes.