3 ms·
I'd argue Rust is modern ML in many ways, it just uses a c-like syntax. It's really the non-pure Haskell alternative.
by msgodel 1y ago
I'd argue Rust is modern ML in many ways, it just uses a c-like syntax. It's really the non-pure Haskell alternative.
- empath75 1y agoRust is really missing higher kinded types, though. You can do a lot of neat haskell tricks with it, but you still can't write functions that are generic over "monads" for example. You have to write a function for lists, a function for options and a function for results, you can't really treat them as the _same thing_, even though they all have similar methods.
- deleted 1y ago[deleted]
- jasperry 1y agoRust semantics owes a lot to ML, but the borrow checker makes programming in Rust very different from other ML-derived languages, which are almost all garbage-collected.