> I wish an expressive language like Rust, but with a GC

Ocaml or ReasonML are pretty close to that.