This is all to say OCaml’s memory model is very cool and the authors thought a lot into how to make it performant and sound! It’s an interesting area

But from what I can find ldapr is just an alias for ldar on M-series so RCsc hasn’t been beneficial on those platforms (I kind of want to verify this with benchmarks too)

This work will hopefully be a blogpost soon. I think the idea of an Rust allocator making use of sized deallocation hasn’t been properly explored—because it’s focused towards safe Rust users, I can forego security features that are found in modern C malloc implementations

The per-location tracking of tree borrows is necessary to be able to use references in a sane way at all without prolific, infectious use of raw pointers that eliminate the utility of the borrow checker. I’d really like to see tree borrows model see wider adoption, especially for allocator authors.