> too many people rush out for Rust

Yes

> thinking that ML type systems is something new introduced by Rust

This feels off to me. Of the hype-train that Rust has been for a while now, a _type_ of type system it has hasn't been any of the cars, as it were.

At least in my readings; I'm sure we travel in different circles, but even the few academic oriented things have been other language features and memory safety through and through.