<div dir="ltr">I don't think it's necessary to go that far either, otherwise the number of user-defined operators will probably be close to 0 (I don't know the state of affairs in Eiffel though).<br></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Sun, May 5, 2013 at 9:10 PM, J. Ian Johnson <span dir="ltr"><<a href="mailto:ianj@ccs.neu.edu" target="_blank">ianj@ccs.neu.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Isn't it true that Eiffel does compiler transforms given that a user has "proven" their operators associative/commutative, etc?<br>
<span class="HOEnZb"><font color="#888888">-Ian<br>
</font></span><div class="HOEnZb"><div class="h5">----- Original Message -----<br>
From: "Laurent" <<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>><br>
To: "Matthias Felleisen" <<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>><br>
Cc: <a href="mailto:dev@racket-lang.org">dev@racket-lang.org</a><br>
Sent: Sunday, May 5, 2013 1:28:59 PM GMT -05:00 US/Canada Eastern<br>
Subject: Re: [racket-dev] Racket2 suggestion: Attaching properties to operators<br>
<br>
<br>
<br>
...or keywords that would simplify my search. Don't take too much time digging old references that will not be much more than informative to me.<br>
<br>
<br>
<br>
<br>
On Sun, May 5, 2013 at 7:16 PM, Laurent < <a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a> > wrote:<br>
<br>
<br>
<br>
Would you happen to have a reference on that?<br>
<br>
<br>
<br>
<br>
<br>
<br>
On Sun, May 5, 2013 at 7:15 PM, Matthias Felleisen < <a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a> > wrote:<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
On May 5, 2013, at 1:12 PM, Laurent wrote:<br>
<br>
<br>
Do you know why C++ has stopped pursuing this idea by any chance?<br>
<br>
No, and they may have more work going on besides standard work.<br>
It's worth reading up on it if you're interested.<br>
<br>
<br>
<br>
<br>
</div></div><div class="HOEnZb"><div class="h5">_________________________<br>
Racket Developers list:<br>
<a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
</div></div></blockquote></div><br></div>