Hacker News Reader

Seems like you want something like OCaml then.

So, the reason Rust took the direction it did is that a lot of people want a language specifically like this, while there were already plenty of languages roughly in the ballpark Graydon wanted. I don't have a clear use for one of those languages, I might use it in some cases anyway, but I was compelled by Rust, it's more or less exactly what I needed.

I can have a proper type system like an ML, and touch the metal like C? Yes please.

B is exactly how I've felt about, in order: C, C++, Java, C#, Javascript. I spent almost 20 years writing languages I did not like because I couldn't find jobs in anything else.

Rust saved some of us from a lifetime of exactly the problems you have with Rust, maybe let us have this one :)