hey so... how to you do JIT compilation, from a type safety perspective?

like, you are basically doing self-modifying code, which most high level languages are very much designed for you to not do.