http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM12Smaragdakis 2026-04-05T21:08:22Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M12Smaragdakis&diff=864&oldid=prev 2013-06-06T12:49:02Z

<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 14:49, 6 June 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</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>''<del style="font-weight: bold; text-decoration: none;">Forsaking Inheritance</del>: <del style="font-weight: bold; text-decoration: none;">Supercharged Delegation as a Modular OO Primitive</del>'' by Yannis Smaragdakis</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>''<ins style="font-weight: bold; text-decoration: none;">PQL</ins>: <ins style="font-weight: bold; text-decoration: none;">A Purely-Declarative Java Extension for Parallel Programming</ins>'' by Yannis Smaragdakis</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;"><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" 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>We <del style="font-weight: bold; text-decoration: none;">propose </del>an <del style="font-weight: bold; text-decoration: none;">OO language design that eschews inheritance completely, </del>in <del style="font-weight: bold; text-decoration: none;">favor</del></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><ins style="font-weight: bold; text-decoration: none;">The popularization of parallelism is arguably the most fundamental</ins></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><del style="font-weight: bold; text-decoration: none;">of </del>a <del style="font-weight: bold; text-decoration: none;">combination of class morphing and </del>(<del style="font-weight: bold; text-decoration: none;">deep</del>) <del style="font-weight: bold; text-decoration: none;">delegation</del>. <del style="font-weight: bold; text-decoration: none;">Compared to past</del></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><ins style="font-weight: bold; text-decoration: none;">computing challenge for years to come. </ins>We <ins style="font-weight: bold; text-decoration: none;">present </ins>an <ins style="font-weight: bold; text-decoration: none;">approach where parallel</ins></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><del style="font-weight: bold; text-decoration: none;">delegation approaches</del>, <del style="font-weight: bold; text-decoration: none;">the novel aspect of our design is the ability to</del></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><ins style="font-weight: bold; text-decoration: none;">programming takes place </ins>in a <ins style="font-weight: bold; text-decoration: none;">restricted </ins>(<ins style="font-weight: bold; text-decoration: none;">sub-Turing-complete</ins>)<ins style="font-weight: bold; text-decoration: none;">, logic-based</ins></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><del style="font-weight: bold; text-decoration: none;">emulate </del>the <del style="font-weight: bold; text-decoration: none;">best aspects </del>of <del style="font-weight: bold; text-decoration: none;">inheritance </del>while <del style="font-weight: bold; text-decoration: none;">retaining maximum flexibility</del>:</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><ins style="font-weight: bold; text-decoration: none;">declarative language, embedded in Java</ins>. <ins style="font-weight: bold; text-decoration: none;">Our logic-based language, PQL</ins>, <ins style="font-weight: bold; text-decoration: none;">can </ins></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><del style="font-weight: bold; text-decoration: none;">using morphing</del>, <del style="font-weight: bold; text-decoration: none;">a class can select any of </del>the <del style="font-weight: bold; text-decoration: none;">methods of its delegatee and</del></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><ins style="font-weight: bold; text-decoration: none;">express </ins>the <ins style="font-weight: bold; text-decoration: none;">parallel elements </ins>of <ins style="font-weight: bold; text-decoration: none;">a computing task, </ins>while <ins style="font-weight: bold; text-decoration: none;">regular Java code captures</ins></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><del style="font-weight: bold; text-decoration: none;">export them (if desired) or transform them (e.g</del>., <del style="font-weight: bold; text-decoration: none;">to add extra arguments or</del></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><ins style="font-weight: bold; text-decoration: none;">sequential elements. This approach offers a key property</ins>: <ins style="font-weight: bold; text-decoration: none;">the purely declarative</ins></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><del style="font-weight: bold; text-decoration: none;">modify type signatures)</del>, <del style="font-weight: bold; text-decoration: none;">yet without needing </del>to <del style="font-weight: bold; text-decoration: none;">name these methods explicitly </del>and <del style="font-weight: bold; text-decoration: none;">handle them</del></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><ins style="font-weight: bold; text-decoration: none;">nature of our language allows for aggressive optimization</ins>, <ins style="font-weight: bold; text-decoration: none;">in much </ins>the <ins style="font-weight: bold; text-decoration: none;">same way</ins></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><del style="font-weight: bold; text-decoration: none;">one-by-one. Compared </del>to <del style="font-weight: bold; text-decoration: none;">past work on morphing, our approach adopts </del>and <del style="font-weight: bold; text-decoration: none;">adapts</del></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><ins style="font-weight: bold; text-decoration: none;">that relational queries are optimized by a database engine</ins>. <ins style="font-weight: bold; text-decoration: none;">At the same time</ins>,</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><del style="font-weight: bold; text-decoration: none;">advanced delegation mechanisms, in order </del>to <del style="font-weight: bold; text-decoration: none;">add late binding capabilities and,</del></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><ins style="font-weight: bold; text-decoration: none;">declarative queries can operate on plain Java data</ins>, <ins style="font-weight: bold; text-decoration: none;">extending patterns such as</ins></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><del style="font-weight: bold; text-decoration: none;">thus</del>, <del style="font-weight: bold; text-decoration: none;">provide a full substitute of inheritance. Additionally, our work</del></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><ins style="font-weight: bold; text-decoration: none;">map-reduce </ins>to <ins style="font-weight: bold; text-decoration: none;">arbitrary levels of nesting </ins>and <ins style="font-weight: bold; text-decoration: none;">composition complexity.</ins></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><del style="font-weight: bold; text-decoration: none;">replaces several common uses of aspect</del>-<del style="font-weight: bold; text-decoration: none;">oriented constructs</del>, <del style="font-weight: bold; text-decoration: none;">yet with strong</del></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><ins style="font-weight: bold; text-decoration: none;">We have implemented PQL as extension </ins>to <ins style="font-weight: bold; text-decoration: none;">a Java compiler </ins>and <ins style="font-weight: bold; text-decoration: none;">showcase its</ins></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><del style="font-weight: bold; text-decoration: none;">type safety guarantees</del>.</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><ins style="font-weight: bold; text-decoration: none;">expressiveness as well as its scalability compared </ins>to <ins style="font-weight: bold; text-decoration: none;">competitive techniques for</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;">similar tasks (Java + relational queries</ins>, <ins style="font-weight: bold; text-decoration: none;">in</ins>-<ins style="font-weight: bold; text-decoration: none;">memory Hadoop</ins>, <ins style="font-weight: bold; text-decoration: none;">etc</ins>.<ins style="font-weight: bold; text-decoration: none;">)</ins></div></td></tr> </table>

Yannis http://mw.hh.se/wg211/index.php?title=WG211/M12Smaragdakis&diff=831&oldid=prev 2013-05-29T18:50:59Z

<p>Created page with &quot;&#039;&#039;Forsaking Inheritance: Supercharged Delegation as a Modular OO Primitive&#039;&#039; by Yannis Smaragdakis We propose an OO language design that eschews inheritance completely, in favor...&quot;</p> <p><b>New page</b></p><div>&#039;&#039;Forsaking Inheritance: Supercharged Delegation as a Modular OO Primitive&#039;&#039; by Yannis Smaragdakis<br /> <br /> We propose an OO language design that eschews inheritance completely, in favor<br /> of a combination of class morphing and (deep) delegation. Compared to past<br /> delegation approaches, the novel aspect of our design is the ability to<br /> emulate the best aspects of inheritance while retaining maximum flexibility:<br /> using morphing, a class can select any of the methods of its delegatee and<br /> export them (if desired) or transform them (e.g., to add extra arguments or<br /> modify type signatures), yet without needing to name these methods explicitly and handle them<br /> one-by-one. Compared to past work on morphing, our approach adopts and adapts<br /> advanced delegation mechanisms, in order to add late binding capabilities and,<br /> thus, provide a full substitute of inheritance. Additionally, our work<br /> replaces several common uses of aspect-oriented constructs, yet with strong<br /> type safety guarantees.</div>

Ups