You just described OCaml or StandardML. Or as others have said, F#, or maybe Scala. Or if you're feeling really brainy, Haskell. But Rust was, in its early da

You just described OCaml or StandardML. Or as others have said, F#, or maybe Scala. Or if you're feeling really brainy, Haskell. But Rust was, in its early days, basically inspired by the ML type system, its type inference model, and its pattern matching facilities. The first Rust compiler was written in OCaml.