"I don’t think there exists a language where it’s enough to learn the surface language in order to write optimized code."

Good news, there is indeed such a language: Fortran. Modern Fortran syntax is similar to Python (but without indentation restrictions) and the compiler generates wicked fast machine code.