Your argument doesn't work. It seems like a variation of: "If I tell the compiler what instead of how, it should be able to produce the msot optimized code, e

Your argument doesn't work. It seems like a variation of: "If I tell the compiler what instead of how, it should be able to produce the msot optimized code, even if it doesn't do so now, a sufficiently advanced compiler could". This kind of thing never materializes.