[Ar-Curunir]

FWIW, SML is an old research-focused language that was the progenitor of Haskell and Ocaml and Rust, and not something to program in :)

[tasogare]

F# is a modern derivative usable in the real world.