Comment by pjmlp

OCaml, Haskell, F#, Standard ML.

The big difference to Rust is the availability of interpreters, REPL, which can equally load compiled code, and full blown AOT for release builds.

Rust's problem isn't type system, rather lack of tools.