The ironic thing is one of the things that would help my productivity the most is a compiler that generated ridiculously efficient code.
Consistently the hard technical problems are performance problems. Everything else pales in comparison (from a technical perspective).
I think most of what you want is entirely possible with current compiler technology. It is unfortunate that most of the effort is currently directed at optimizing hard to reason about low level code.