Composable and Compilable Macros introduces the Racket module system, which addresses the following problem: When you have macros that run programs at compile-time, how does this interact with separate compilation and ahead-of-time compilation. The paper introduces "phases", which enable Racket to behave the same regardless of when and how you compile your program. It also introduces the idea of writing different modules in different languages, which is now used for systems like Typed Racket.
The New York Chapter would like to thank our platinum sponsor TwoSigma for helping to make this meetup possible.
- Syntactic Abstraction in Scheme, Dybvig Hieb & Bruggeman, Lisp and Symbolic Computation 1993
- Macros that Work Together, Flatt, Findler, Culpepper, & Darais, JFP 2012
- Submodules in Racket, Flatt GPCE 2013
- Implicit phasing for R6RS libraries, Ghuloum & Dybvig, ICFP 2007
- Extending the scope of syntactic abstraction, Waddell & Dybvig, POPL 1999