In what way would exposing the true microcoded out-of-order etc nature of the beast benefit certain tasks?
But even before you get to out-of-order/speculative execution, I think most languages lack good (i.e. non-intrinsic-based) support for wide registers or anything SIMD related. I know C++ and Rust are both working on this