On: Java is fast, code might not be

[gf000]

> can't freeze/resume the state

I mean, both of your points are a thing, see https://www.azul.com/products/components/falcon-jit-compiler... for LLVM as a JIT compiler

and https://openjdk.org/jeps/483 (and in general, project Leyden)