On: Unexpected productivity boost of Rust

[pjmlp]

It is called affine type system, and there are ML descendents with it.

You can even go more crazy with linear types, effects, formal proofs or dependent types.

What Rust has achieved, was definitely make these ideas more mainstream.