3 ms·
Rust is not an ML. All languages in the ML family are garbage-collected. It also doesn't have ML syntax. Whereas I can take an SML program from my ML textbook
by seanhunter 2y ago
Rust is not an ML. All languages in the ML family are garbage-collected. It also doesn't have ML syntax.
Whereas I can take an SML program from my ML textbook and run it almost completely unaltered in ocaml or f# that is absolutely not the case for rust - it literally won't work at all.
- nequo 2y agoAnother 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.