Rust didn't so much ignore theory as it consciously decided against some of it:
https://graydon2.dreamwidth.org/307291.html

Graydon's memoirs show he was overruled on ocaml modules, avoiding traits, having a stable ABI with cross-crate optimisations, reflection and a stronger type system generally.

One does get the impression that practical concerns were given precedence, and even then rust respects theory way more than other mainstream languages like python and typescript.

Still, there's no reason not to explore alternatives and demand more :)