Hygienic Macros via Staged Environment Machines (Position Paper)
summary
Argues that hygienic procedural macros map to a deterministic staged operational model by elaborating multi-stage alpha-renaming into an abstract staged environment machine that carries a runtime value environment plus a renaming environment mapping raw symbols to generated unique names. Provides a draft abstract machine and a reflective rename() interface showing explicit-renaming macros are implementable as that interface, reports the design works for a Clinger-style facility but notes gaps around S‑expression binding vs structured code fragments.
AI-written summary · about