3 ms·

Re prior art: I'm at least vaguely reminded of "expansion-passing style" by Dybvig, Friedman, and Haynes. https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.

Re prior art: I'm at least vaguely reminded of "expansion-passing style" by Dybvig, Friedman, and Haynes. https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.1086&rep=rep1&type=pdf https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64... (Just from a quick skim of this long post.)

mncharity 4y ago
Riffing on related work, Macros for DSLs[1] notes non-locality (and there's racket's dsl emphasis[2] in general). Apropos composition, I liked the PADL'23 Modern Macros video[3] (seemingly twice submitted to hn without traction). [1] Macros for Domain-Specific Languages https://par.nsf.gov/servlets/purl/10220787 https://par.nsf.gov/servlets/purl/10220787 https://docs.racket-lang.org/ee-lib/index.html https://docs.racket-lang.org/ee-lib/index.html [2] From Macros to DSLs: The Evolution of Racket https://drops.dagstuhl.de/opus/volltexte/2019/10548/pdf/LIPIcs-SNAPL-2019-5.pdf https://drops.dagstuhl.de/opus/volltexte/2019/10548/pdf/LIPI... [3] PADL'23 Modern Macros https://www.youtube.com/watch?v=YMUCpx6vhZM https://www.youtube.com/watch?v=YMUCpx6vhZM