I think you missed some Haskell (or some other functional / category-theorish language) in your baggage of languages.

Coming from Haskell, Rust felt like a weird C-like home.

It's a weird marriage, but it makes for a language which make very predictable software imho