What I want is a language with feedback. In other words, a language that calculates all of the various optimizations behind-the-scenes, and sees what ones it t

What I want is a language with feedback. In other words, a language that calculates all of the various optimizations behind-the-scenes, and sees what ones it thinks would be good and suggests them to you. And you can add annotations to allow it to do specific optimizations. It has control and transparency, but keeps it relatively easy to optimize. And you can hide the annotations if you really wish.