I so much like the posts a-la "Ocaml is used in industry, see for example Jane Street success story". It's always Jane Street and never anything else. Well, Xen was partly written in Ocaml. Coq, Unison and MLDonkey are written in Ocaml. That's it.
I know, that's why I wrote "some industry use": it's always that story that comes out indeed.
I've never done any ML but was pretty sure Haskell was in the ML family: I know some Haskell and when I see ML code it doesn't look totally alien to me. I see here that the person says:
"Haskell is inevitably an ML (descending from Lazy ML) derivative".
Don't know how good that answer is but Haskell and ML seems to share quite some similarities and not just (part of) the syntax:
https://www.quora.com/What-are-the-key-differences-between-Haskell-and-Standard-MLI also thought that ELM, based on Haskell, had its name chosen as a play on "ML".
Once again: I've never done any ML so I don't know.
In any case: always nice to talk about programming with you!
P.S: funnily enough then I know some Haskell which is "not really a ML" and quite some Clojure which is "not really a Lisp" depending on who you ask (thankfully I know a tiny bit of elisp, so the day is saved!)