Ask HN: Isn't there a lightweight and popular Rust?

With all these endless debates about Rust and Go, it seems that a lot of software engineers really want a programming language that is as expressive as Rust with its sum types and matching, but also easier in that there is garbage collection, a rich standard library, like in Go.

There are OCaml and F#, but I still see those are very much niche languages with pretty small communities.