Mind is getting blown by multi-stage programming! Does anyone know of any simple examples of it being used as a way of doing offline partial evaluation in compilation? Most of the stuff I see is for run-time code generation. 🤔
Conversation
Is there any inherent difference between "online" and "offline" techniques; rather than just whether you choose to have it run before or after you ship the software?
(I was going to ask if you're familiar with LMS, and link cs.purdue.edu/homes/rompf/pa, but seems that's "online".)
1
Yeah I've seen LMS before, and it looks really interesting! "On Cross-Stage Persistence in Multi-Stage Programming" seems to suggest there is: fos.kuis.kyoto-u.ac.jp/~igarashi/pape
1
2
"MetaOCaml is not very suitable for writing offline generators because of CSP [Cross-Stage Persistence]. Our type system introduces residualizable code types to solve the problem."
1
Haven't yet understood this claim, and the pros and cons. Would also really love to see some example implementations of compilers that do offline partial evaluation using this kind of thing (but that might be hoping for too much).
Replying to
There is a difference between partial evaluation and supercompilation but I always forget what it is. There was a bunch of supercompilation-related work on GHC a few years back but I assume you're already familiar with that as well. :)
1
1
So the issue is that if you're generating code and the generated code references an arbitrary object on the heap of the code-generator, either (a) the generated code must run in the address space of the generator or (b) you need to know how to serialize that object into syntax.
1
1
Show replies