We'd end up back where we started. One reason code is slow and expensive is that programmers have to tailor the syntax to precisely satisfy the compiler. The benefit of pseudocode is that you can choose how precise or imprecise you want to express your intent.
What if the "pseudocode" were real code, but in a higher level language than we have today that can actually be compiled deterministically?