I generally view ML as a family of languages, generally consisting of algebraic data types, pattern matching, first class functions, currying, idiomatically fun

I generally view ML as a family of languages, generally consisting of algebraic data types, pattern matching, first class functions, currying, idiomatically functional.. Members are Standard ML, Ocaml, F#, Elm, Haskell, and to a lesser degree Rust.