GP didn't say to go for mainstream GC languages, though.

OCaml, F#, or Haskell would offer many of the benefits that come with Rust's type system.

I've used OCaml professionally, and it's been a real pleasure.