Investigate BER MetaOCaml approach to runtime code generation

[andrew-johnson-4]

The generated code can be printed, stored in a file -- or compiled and linked-back to the running program, thus implementing run-time code optimization.

I guess this makes sense in theory. It is like hot-swapping symbols I guess? And it is proven to work in one language.

[alex-s168]

so just JIT or AOT?

[andrew-johnson-4]

If I understand correctly there is a full compiler pass external to the running process, then that gets linked back in somehow. idk, I haven't read the code or explanation. It sounds a little different than normal.