Towards better systems programming in OCaml with out-of-heap allocation
Abstract
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.
Domains
Programming Languages [cs.PL]| Origin | Files produced by the author(s) |
|---|