On Sat, Jul 16, 2005 at 12:24:21AM +0300, Yuval Kogman wrote: > > There is a new generic comparison operator known as ~~. > > ~~ is just Eq, there is also Ord
Hmm, <~ and ~> for generic comparators? ;)
> and Show
That is already prefix ~ for that.
> and a multitude of other things, which are more of a cultural issue.
Right.
> > The dispatch for ~~ is governed by MMD that acts on the type classes --
> > I mean roles -- of both sides. I wonder if we can make eg:
> >
> > role SmartMatchEq {
> > method sm_eq ($x: $y) { ... }
> > }
> > multi infix:<~~> (SmartMatchEq $x, SmartMatchEq $y) {
> > $x.sm_eq($y)
> > }
> >
> > Is that close to what you want?
>
> Well, we'll need useful MMD for that to work =/
Huh, useful MMD already works for that. Which part does not work?
Thanks,
/Autrijus/
pgprEv6Ih1cLP.pgp
Description: PGP signature
