An idea that is now becoming possible is a way to compile a program even though it is wrong. A compiler of the idea and not what it is on the paper.
Imagine if the code written on paper could always compile. Because the idea makes sense. Being able to write poorly written code and that an ML compiler could test, add documentation and optimize it.
Evidently this would open a new can of worms. A we could start abstracting a lot more and not even knowing where errors start. It would actually highlight a lot more the errors in logic.
But we are actually really close to this. ChatGPT and Copilot can get you really far. This would be the universal compiler.
Sooner or later we are going to get this.