Comment by Dewie

> There is a sweet spot between low-level performance and control and high-level metaprogramming that is not yet occupied by any language:

Maybe Nimrod?