you jest but F# already does the ocamlness of Rust, no? and you don't need a borrow checker.
For tracking ownership of non-memory resources you still need something like that.
alt Hacker News
For tracking ownership of non-memory resources you still need something like that.