Hygienic Macros via Staged Environment Machines - Position Paper

Explore a novel approach to understanding procedural macros through staged computation in this 20-minute conference presentation from Scheme 2025. Examine the relationship between staged computation and procedural macros, moving beyond traditional approaches that compromise the role of macros as syntactic extensions. Discover how the semantic aspects of procedural macros can be understood through staged computation, with particular focus on how syntactic environments in hygienic macros correspond to staged extensions of environment machines. Learn about a draft design for an environment machine tailored to a Lisp-like language featuring an explicit-renaming macro facility following Clinger's approach. Gain insights into multi-stage programming concepts and abstract machine design as presented by Yuito Murase from Kyoto University, offering a fresh perspective on connecting procedural macros with staged computation while maintaining the integrity of macros as syntactic extensions.