An ML, like SML or OCaml? Neither of these has any better tooling. Really the only viable candidate would be F#, no?