Good point -- compiling to a different language and then compiling (C++ -> C -> machine) or interpreting (Elm -> Javascript) that goes back a long way.

And then there's WebAssembly, which is currently a Javascript library that's designed to be compiled into, though it will eventually get built into browsers alongside Javascript.

Good topic for a follow-up post, I think.