Question about Rust-like ownership concept

[Sze]

I think I like the idea of managing almost everything with arenas like described in this talk (although my use of arenas in zig has been pretty minimal so far):

Enter The Arena - Ryan Fleury

I really liked this talk about arenas and lifetimes: https://vimeo.com/856069590 https://vimeo.com/handmadecities

I guess with zigs Allocator interface there isn’t really a need to require a arena parameter everywhere, because we already have allocator everywhere, but maybe we can still use some ideas of the talk (It has been a while since I saw it and I didn’t take notes)

Regarding rust style ownership, the OCaml-ized version seems better to me, because it doesn’t force a straight jacket on you and still seems to give you 95% what was wanted:

Vale's First Prototype for Immutable Region Borrowing

It seems interesting, so far I only took a quick glance at it. It reminds me a bit of the modes stuff, in these blog posts: https://blog.janestreet.com/oxidizing-ocaml-locality/ https://blog.janestreet.com/oxidizing-ocaml-ownership/ What seems nice to me, about these modes is that they are orthogonal to the types and thus the type system doesn’t become overly complex. But so far I have only observed it from the outside and not played with these ideas / experimental features. OCaml with these…