Home How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules

By Oleg Kiselyov

This paper details how folklore notions of hygiene and referential transparency of R5RS macros are defeated by a systematic attack. We demonstrate syntax-rules that seem to capture user identifiers and allow their own identifiers to be captured by the closest lexical bindings. In other words, we have written R5RS macros that accomplish what commonly believed to be impossible. By Oleg Kiselyov Comment viewing options Flat list - collapsed Flat list - expanded Threaded list - collapsed Threaded list - expanded Date - newest first Date - oldest first Select your preferred way to display the comments and click "Save settings" to activate your changes.