27Oct00
Procedural Macros for Java
Bachrach and Playford
Hygiene and Referential Transparency
•Variable references copied from a macro call and definition mean the same thing in an expansion •Avoids the need for gensym and for manually exporting names used in macro definitions
•
Avoid accidental collisions of macro variables with program variables of the same name regardless of the context in which a macro is used
Maintain consistency when macro variables refer to identically named variables introduced within a given macro definition