Another way to look at Rust is that it’s a programming language in which the goal is to garbage collect at compile time. I don’t know if it’s the first one to

Another way to look at Rust is that it’s a programming language in which the goal is to garbage collect at compile time. I don’t know if it’s the first one to do that. Maybe ATS fits this description too with its linear types, and ATS itself is considered an ML. With this view, Rust does not seem that far off from the various ML dialects.