> hat I'd love is a language that can be compiled (and be highly optimized) and interpreted without changing it's behavior.

This has been a great feature of many lisps for 4+ decades now. Not unique to them of course.