That is already done; such software is called a compiler.

There is no reason to optimize the language that programmers work in when such optimizations can better be done on the generated machine code.