http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM23BallantyneWG211/M23Ballantyne - Revision history2026-04-05T21:09:23ZRevision history for this page on the wikiMediaWiki 1.43.5http://mw.hh.se/wg211/index.php?title=WG211/M23Ballantyne&diff=2607&oldid=prevJeremy-y: Add Michael's slides2024-03-30T23:46:31Z<p>Add Michael's slides</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 01:46, 31 March 2024</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l4">Line 4:</td>
<td colspan="2" class="diff-lineno">Line 4:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>To prototype an architecture for such a system, I have developed the <code>syntax-spec</code> "language workbench as a library" on top of Racket's macro system. <code>syntax-spec</code> supports both whole-DSL specification, providing support for the DSL's backend compiler, as well as Racket's conventional lightweight hygienic macros on top of the DSL. The ideas behind <code>syntax-spec</code> should be portable to other languages with macro systems, such as Rust and Scala, but this will require some additional work to reconcile with the syntax and type systems of these languages.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>To prototype an architecture for such a system, I have developed the <code>syntax-spec</code> "language workbench as a library" on top of Racket's macro system. <code>syntax-spec</code> supports both whole-DSL specification, providing support for the DSL's backend compiler, as well as Racket's conventional lightweight hygienic macros on top of the DSL. The ideas behind <code>syntax-spec</code> should be portable to other languages with macro systems, such as Rust and Scala, but this will require some additional work to reconcile with the syntax and type systems of these languages.</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Slides: [[Media:ballantyne-slides.pdf | ballantyne-slides.pdf]]</ins></div></td></tr>
</table>Jeremy-yhttp://mw.hh.se/wg211/index.php?title=WG211/M23Ballantyne&diff=2554&oldid=prevJeremy-y: Add Michael Ballantyne's talk details2024-03-13T06:27:04Z<p>Add Michael Ballantyne's talk details</p>
<p><b>New page</b></p><div>== A language workbench as library (Michael Ballantyne) ==<br />
<br />
Systems such as Racket and Spoofax allow programmers to develop DSLs with custom syntax, static semantics, compilation, and IDE support. Unfortunately, these technologies mostly have not reached mainstream programmers. I argue that to reach mainstream use, such a language-oriented programming system must satisfy several conditions: (1) be incrementally adoptable in an existing, widely-used language (2) enable its users to gradually acquire the skill of creating DSLs, and (3) provide excellent IDE support for DSLs.<br />
<br />
To prototype an architecture for such a system, I have developed the <code>syntax-spec</code> "language workbench as a library" on top of Racket's macro system. <code>syntax-spec</code> supports both whole-DSL specification, providing support for the DSL's backend compiler, as well as Racket's conventional lightweight hygienic macros on top of the DSL. The ideas behind <code>syntax-spec</code> should be portable to other languages with macro systems, such as Rust and Scala, but this will require some additional work to reconcile with the syntax and type systems of these languages.</div>Jeremy-y