Sorry, I meant multi-staged compilation: https://en.wikipedia.org/wiki/Multi-stage_programming https://en.wikipedia.org/wiki/Multi-stage_programming, e.g. MetaO

Sorry, I meant multi-staged compilation: https://en.wikipedia.org/wiki/Multi-stage_programming https://en.wikipedia.org/wiki/Multi-stage_programming, e.g. MetaOCaml or Template Haskell. And you're right, it may be a bit early to speak of it being used in the industry. Examples of subset of multi-staged compilation include `constexpr` in C++ and `comptime` in Zig. I also seem to remember seeing stuff in the GraalVM ecosystem but I can't find them right now.