This is cool. It reminds me of PyPy or Rikes. Have you looked at Janino ?
I haven’t, it looks very much in line with my interests, thanks.
I could see Janino being used to lazily generate a forrest of code from a combinatorial type explosion, one could also start to do profile guided optimizations for the platform at hand. Always gotta find ways to lengthen those boot up times!