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).
On Sun, May 5, 2013 at 9:10 PM, J. Ian Johnson <[email protected]> wrote: > Isn't it true that Eiffel does compiler transforms given that a user has > "proven" their operators associative/commutative, etc? > -Ian > ----- Original Message ----- > From: "Laurent" <[email protected]> > To: "Matthias Felleisen" <[email protected]> > Cc: [email protected] > Sent: Sunday, May 5, 2013 1:28:59 PM GMT -05:00 US/Canada Eastern > Subject: Re: [racket-dev] Racket2 suggestion: Attaching properties to > operators > > > > ...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. > > > > > On Sun, May 5, 2013 at 7:16 PM, Laurent < [email protected] > > wrote: > > > > Would you happen to have a reference on that? > > > > > > > On Sun, May 5, 2013 at 7:15 PM, Matthias Felleisen < [email protected]> > wrote: > > > > > > > > On May 5, 2013, at 1:12 PM, Laurent wrote: > > > Do you know why C++ has stopped pursuing this idea by any chance? > > No, and they may have more work going on besides standard work. > It's worth reading up on it if you're interested. > > > > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
