http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM11Brady 2026-04-05T21:09:10Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M11Brady&diff=672&oldid=prev 2012-06-12T11:15:42Z

<p></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 13:15, 12 June 2012</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2">Line 2:</td> <td colspan="2" class="diff-lineno">Line 2:</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>I will describe a new overloading notation, implemented in Idris,</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>I will describe a new overloading notation, implemented in Idris,</div></td></tr> <tr><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: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>that facilitates programming, modularity and reuse in Embedded Domain <del style="font-weight: bold; text-decoration: none;">Specifi�c </del>Languages (EDSLs), and use it to reason about safe resource usage and</div></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>that facilitates programming, modularity and reuse in Embedded Domain <ins style="font-weight: bold; text-decoration: none;">Specific </ins>Languages (EDSLs), and use it to reason about safe resource usage and</div></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>state management. The EDSL separates the structural language constructs from</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>state management. The EDSL separates the structural language constructs from</div></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>primitive operations, and allows precisely-typed functions to be</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>primitive operations, and allows precisely-typed functions to be</div></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>lifted into the EDSL. In this way, we implement a generic framework for</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>lifted into the EDSL. In this way, we implement a generic framework for</div></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>constructing state-aware EDSLs for systems programming.</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>constructing state-aware EDSLs for systems programming.</div></td></tr> </table>

Ups http://mw.hh.se/wg211/index.php?title=WG211/M11Brady&diff=671&oldid=prev 2012-06-12T11:15:22Z

<p>Created page with &quot;&#039;&#039;&#039;Implementing Domain Specific Languages by Syntax Overloading&#039;&#039;&#039; by Edwin Brady I will describe a new overloading notation, implemented in Idris, that facilitates programming,...&quot;</p> <p><b>New page</b></p><div>&#039;&#039;&#039;Implementing Domain Specific Languages by Syntax Overloading&#039;&#039;&#039; by Edwin Brady<br /> <br /> I will describe a new overloading notation, implemented in Idris,<br /> that facilitates programming, modularity and reuse in Embedded Domain Specifi�c Languages (EDSLs), and use it to reason about safe resource usage and<br /> state management. The EDSL separates the structural language constructs from<br /> primitive operations, and allows precisely-typed functions to be<br /> lifted into the EDSL. In this way, we implement a generic framework for<br /> constructing state-aware EDSLs for systems programming.</div>

Ups