OCaml is used to some extent. Most notable industry user of an ML (in the form of OCaml) is probably Jane Street Capital.

F# is an ML descendent.