> Choose between running directly using the convenient JIT, or compilation to C++ for extra speed.
C++ is an odd compilation target. Usually it's just C. I'd be curious to see what kind of C++ it emits, and whether the techniques it uses would be better exported as C++ libraries than a new language on top of C++.