If only a compiler/runtime was somehow endowed with enough artificial intelligence to decide on optimal data structures and algorithms to provide this magical 'fast by default, optimal by fine tuning'.

High level languages are fat, inefficient, rigid and what every large corporation wants, because they share so much in common.