This is actually a very nice question and the answer is that interpreted languages with a JIT benefit from this.

One example is Java, which will happily vectorize your code into AVX or SSE where possible.

Python just got a JIT compiler and we’ll start seeing the same thing soon.

But as someone else said here, some constructs don’t translate well and adding transformations to show vectorization would negate the perfomance gains.

Sad that the compiler (even Java) can’t explain you this and warn about it, but now with LLM, maybe they’ll start doing things like that soon.