Towards better systems programming in OCaml with out-of-heap allocation (Informed Position)
The current multicore OCaml implementation bans so-called “naked pointers”, pointers to outside the OCaml heap unless they follow drastic restrictions. A backwards-incompatible change has been proposed to make way for the new multicore GC in OCaml. I argue that out-of-heap pointers are not an anomaly, but are part of a better systems programming future.
|Towards better systems programming in OCaml with out-of-heap allocation (ml2020-paper8.pdf)