> Highly optimized code in hot paths is rarely readable.

...unless it's supported by the language as a first class feature. See for example C++ and RVO.

Not necessarily, in C++ you'd still drop from smart pointers to raw pointers, from virtual dispatch to switches/computed gotos, from std::function to function pointers and so on. These abstractions all come at a cost.