3 ms·

Effectively, the native ML language that is the actual modern-day industrial-strength language fit for today, is OCaml.

• bmitc 4y ago
  More so than F#? I’m not sure.
  • yawaramin 4y ago
    Yes, absolutely more so, F# discards one of the most critical parts of ML–functors.
    • bmitc 4y ago
      That’s just one component. Yes, F# does not have SML’s functor/module system, but that doesn’t negate F# being an industrial strength ML. You can do a lot with F#’s generics and interfaces.
      • yawaramin 4y ago
        Can you do a lot with it, sure. Is it an ML language without functors? No.