Composable and Compilable Macros: You Want it When?
đź“ś Abstract
This paper proposes the definition of macros implying systematic syntactic and semantic verifications and compilations to enforce a set of well-formedness criteria for the new syntactic structures they introduce. A direct application is on Lisp macros, like LOOP, that could then be correctly assembled instead of being handcrafted, with greater reliance on the control structure and the namespace in which they operate.
✨ Summary
The paper “Composable and Compilable Macros: You Want it When?” by Matthew Flatt investigates the potential for macros to introduce new syntactic structures that can be verified and compiled systematically. The study focuses on Lisp macros to enhance their reliability and correctness, which is crucial for robust coding practices. No direct citations or influences in subsequent research or industry applications were found during a web search. The paper appears to provide foundational concepts around macro systems in programming languages but doesn’t appear to have significantly impacted further research in a way that’s readily visible online.