4 ms·
Rust is just a popular ML like OCaml only it has a more sane package manager and a more imperative style than OCaml's recursive style.
by satvikpendem 2y ago
Rust is just a popular ML like OCaml only it has a more sane package manager and a more imperative style than OCaml's recursive style.
- fire_lake 2y agoIt has a much more C-like syntax than MLs
- seanhunter 2y agoRust 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.