Modern Macros

Keynote given at PADL 2023; see also the recording on youtube.

Discussion is welcomed at [PADL’23] Modern Macros on the Racket Discussions forum.

Citations

From the beginning of the talk:

Eugene Kohlbecker, Daniel P. Friedman, Matthias Felleisen, and Bruce Duba. 1986. Hygienic macro expansion. In Proceedings of the 1986 ACM conference on LISP and functional programming (LFP '86). Association for Computing Machinery, New York, NY, USA, 151–161.* https://doi.org/10.1145/319838.319859
William Clinger and Jonathan Rees. 1991. Macros that work. In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '91). Association for Computing Machinery, New York, NY, USA, 155–162.* https://doi.org/10.1145/99583.99607
R. Kent Dybvig, Robert Hieb, and Carl Bruggeman. 1992. Syntactic abstraction in Scheme. Lisp and Symbolic Computation 5, 4 (Dec. 1992), 295–326. https://doi.org/10.1007/BF01806308
Matthew Flatt. 2002. Composable and compilable macros: you want it when? In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (ICFP '02). Association for Computing Machinery, New York, NY, USA, 72–83. https://doi.org/10.1145/581478.581486
Matthew Flatt. 2016. Binding as sets of scopes. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '16). Association for Computing Machinery, New York, NY, USA, 705–717. https://doi.org/10.1145/2837614.2837620

The paper mentioned at approximately 22:06 is:

Michael Ballantyne, Alexis King, and Matthias Felleisen. 2020. Macros for domain-specific languages. Proc. ACM Program. Lang. 4, OOPSLA, Article 229 (November 2020), 29 pages. https://doi.org/10.1145/3428297; See also ee-lib.

A special thanks to Shu-Hung You, Matthew Flatt, Christos Dimoulas, and Matthias Felleisen for their feedback on early drafts of this talk.