On: OCaml: a Rust developer's first impressions

[steveklabnik]

I absolutely agree the borrow checker came later. I think of it as that the goals have always been the same, but the enforcement mechanism changed over time, as more and more static ways were found to achieve the goal.