|
Macros as Multi-Stage Computations:
Type-Safe,Generative,Binding Macros in MacroML. Steve Ganz, Amr Sabry and Walid Taha. ICFP'01
Grounding macros in the more general framework of multi-stage computation (e.g, MetaML) helps express their semantics, and eliminates the need to explicitly deal with things like variable capture.
Aside from presenting this approach, the paper can also serve as a nice summary of the main design dimensions involved in designing a macro system: analytic vs. generative macros; string vs. AST oriented macros; typing etc.
Posted to Software-Eng by Ehud Lamm on 6/10/03; 11:41:55 PM
|
|
Macros as Multi-Stage Computations
