http://wiki.erights.org/mediawiki/index.php?title=Non-optional_ejectors&feed=atom&action=historyNon-optional ejectors - Revision history2024-03-19T07:49:41ZRevision history for this page on the wikiMediaWiki 1.15.5-7http://wiki.erights.org/mediawiki/index.php?title=Non-optional_ejectors&diff=1669&oldid=prevKevin Reid: record approval2009-01-04T14:18:24Z<p>record approval</p>
<p><b>New page</b></p><div>[[User:Kevin Reid]] proposes that everything which is currently <code>optEjector :[[nullOk]]<nowiki>[</nowiki>[[OneArgFunc]]]</code> should instead be <code>ejector :[[OneArgFunc]]</code>, where the object [[throw]] is used instead of [[null]] to indicate not using an ejector. (The interfaces are compatible, in that both ejectors and <code>throw</code> support .run(:Exception).)<br />
<br />
He considers the advantages to be regularity in many places: code to make use of an ejector is simpler, explanations need not mention null, and the type is simpler.<br />
<br />
[[E-on-CL]] implements this proposal.<br />
<br />
==Discussion==<br />
* Thread starting at [http://www.eros-os.org/pipermail/e-lang/2005-December/011036.html Type system edge cases: underenthusiastic deflection or individual bugs?], Sat Dec 3 19:58:21 EST 2005<br />
* [http://www.eros-os.org/pipermail/e-lang/2005-June/010708.html Exception types and ejector patterns (was Re: Remaining semantic issues)], Tue Jun 7 09:48:29 EDT 2005<br />
* '''[[User:Markm]] approved of this proposal in discussion on [[IRC|#erights]] at 2009-01-04 00:39 EST.'''<br />
<br />
==See also==<br />
* [[ExitFunction]]<br />
<br />
[[Category:Resolved design issues]]</div>Kevin Reidhttp://wiki.erights.org/mediawiki/index.php?title=Non-optional_ejectors&diff=3591&oldid=prevKevin Reid: describe proposal2008-06-20T19:12:40Z<p>describe proposal</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 19:12, 20 June 2008</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 8:</td>
<td colspan="2" class="diff-lineno">Line 8:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* Thread starting at [http://www.eros-os.org/pipermail/e-lang/2005-December/011036.html Type system edge cases: underenthusiastic deflection or individual bugs?], Sat Dec 3 19:58:21 EST 2005</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* Thread starting at [http://www.eros-os.org/pipermail/e-lang/2005-December/011036.html Type system edge cases: underenthusiastic deflection or individual bugs?], Sat Dec 3 19:58:21 EST 2005</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.eros-os.org/pipermail/e-lang/2005-June/010708.html Exception types and ejector patterns (was Re: Remaining semantic issues)], Tue Jun 7 09:48:29 EDT 2005</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.eros-os.org/pipermail/e-lang/2005-June/010708.html Exception types and ejector patterns (was Re: Remaining semantic issues)], Tue Jun 7 09:48:29 EDT 2005</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">* '''[[User:Markm]] approved of this proposal in discussion on [[IRC|#erights]] at 2009-01-04 00:39 EST.'''</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==See also==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==See also==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[ExitFunction]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[ExitFunction]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[Category:<del class="diffchange diffchange-inline">Resolved </del>design issues]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[Category:<ins class="diffchange diffchange-inline">Unresolved </ins>design issues]]</div></td></tr>
<!-- diff generator: internal 2024-03-19 07:49:42 -->
</table>Kevin Reid