4 ms·
Wait, what exactly is metacompilation, and in what form is it used in the industry? I've tried searching the internet, but only found theoretical explanations I
by bheadmaster 4y ago
Wait, what exactly is metacompilation, and in what form is it used in the industry? I've tried searching the internet, but only found theoretical explanations I'm too tired to parse right now, and something about yaks and bisons.
- abecedarius 4y agoI don't think it's a really standard term, but I guess from context it's referring to partial-evaluation-style approaches to compiling. (In the Forth world it means a special Forth vocabulary the Forth system can use to bootstrap itself.)
- Yoric 3y agoSorry, 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.