High-level languages carry more information that help the compiler apply significant optimisations. For example Sisal programs are automatically parallellised by the compiler because the language describes discrete dataflow.
Or APL programs describe matrix operations directly, and the compiler doesn't have to guess that a loop is in fact doing matrix computation.
Etc etc...