Any turing language can be as dynamic as you want if you're motivated enough. After all, many interpreted languages are implemented in C... Many dynamic recomp

Any turing language can be as dynamic as you want if you're motivated enough. After all, many interpreted languages are implemented in C... Many dynamic recompiler/JIT implementations effectively do something like what you describe: they map some executable portion of memory and output native code that is then executed.