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
Eventually I'd like to use this as a technique for getting better codegen in dependently typed programming languages, but I think these techniques might be handy for my work in binary data format descriptions.