> As Rusty as possible without having to worry about lifetimes, the borrow checker

It's Ocaml