Rewriting Macros on the Fly: A Modular Approach to Administrative Reduction During Expansion
Administrative reductions are extra steps introduced by program transformations, usually as a form of bookkeeping new information needed by the transformation. While this can keep transformations themselves simple and small, they have the unfortunate effect of making the programs they produce more costly in terms of run-time resources and—worse still—cognitive resources used by humans trying to read and debug their code. This paper introduces a general-purpose technique for eliminating administrative expressions in macros using localized rewriting rules. The result is a system of writing and rewriting compositional macros (both in the sense that the macros are defined as compositional functions, and that several different macros can be combined without administrative reductions) that can be extended by the programmer with new functionality.
Thu 16 OctDisplayed time zone: Perth change
| 13:45 - 15:30 | Macros and Denotational SemanticsScheme at Peony NW Chair(s): Paulette Koronkevich University of British Columbia | ||
| 13:4525m Talk | Rewriting Macros on the Fly: A Modular Approach to Administrative Reduction During Expansion Scheme Paul Downen University of Massachusetts at Lowell | ||
| 14:1025m Talk | Fast and Extensible Hybrid Embeddings with Micros SchemeDOI Pre-print | ||
| 14:3520m Talk | Hygienic Macros via Staged Environment Machines (Position Paper) Scheme Yuito Murase Kyoto University, JapanPre-print | ||
| 14:5525m Talk | Checking a Denotational Semantics of Scheme in Agda Scheme Peter D. Mosses Delft University of Technology; Swansea UniversityDOI File Attached | ||
