http://wiki.erights.org/mediawiki/index.php?action=history&feed=atom&title=Non-optional_ejectors 2026-05-11T19:11:15Z Revision history for this page on the wiki MediaWiki 1.15.5-7 http://wiki.erights.org/mediawiki/index.php?title=Non-optional_ejectors&diff=1669&oldid=prev 2009-01-04T14:18:24Z

<p>record approval</p> <p><b>New page</b></p><div>[[User:Kevin Reid]] proposes that everything which is currently &lt;code&gt;optEjector :[[nullOk]]&lt;nowiki&gt;[&lt;/nowiki&gt;[[OneArgFunc]]]&lt;/code&gt; should instead be &lt;code&gt;ejector :[[OneArgFunc]]&lt;/code&gt;, where the object [[throw]] is used instead of [[null]] to indicate not using an ejector. (The interfaces are compatible, in that both ejectors and &lt;code&gt;throw&lt;/code&gt; 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 Reid http://wiki.erights.org/mediawiki/index.php?title=Non-optional_ejectors&diff=3591&oldid=prev 2008-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">&nbsp;</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 2026-05-11 19:11:16 --> </table>

Kevin Reid