Checking binding hygiene statically
Fabian Muehlboeck · 2013
Macros are a powerful facility for various applications, from simple syntax extensions to creating domain specific languages. However, they have suffered from the fact that the structure of variable bindings in a program is only implicitly encoded in the program text-because of this, simple program transformations may lead to results not intended by either the macro writer or user by violating hygiene. We present the core details of a developing system (by Stansifer and Wand) to statically ensure the preservation of α-equivalence and therefore hygiene.