Whilst it is possible to abstract away from a concrete platform and to map an abstraction to a concrete platform,
it is much more difficult to see any compilation being able to make all the designs and design tradeoffs that are needed to meet varied and custom non-functional requirements any time soon.