Re: Type::Class::Haskell does Role

2005-07-16 Thread Yuval Kogman
Atmosphere: Whooosh Mug: Clunk Luke's head: Thud Luke's wall: Dum Luke: Ow Violence is fun! On Sat, Jul 16, 2005 at 19:02:49 -0600, Luke Palmer wrote: > I'm going to have some coffee mugs thrown at me for saying this, but perhaps: > > Generic StringNumericIdentity >

Re: Type::Class::Haskell does Role

2005-07-16 Thread Luke Palmer
On 7/16/05, Luke Palmer <[EMAIL PROTECTED]> wrote: > I'm going to have some coffee mugs thrown at me for saying this, but perhaps: > > Generic StringNumericIdentity >+---+---++---+ > Equality |== |

Re: Type::Class::Haskell does Role

2005-07-16 Thread Luke Palmer
On 16 Jul 2005 12:22:31 -, David Formosa (aka ? the Platypus) <[EMAIL PROTECTED]> wrote: > On Sat, 16 Jul 2005 12:14:24 +0800, Autrijus Tang > <[EMAIL PROTECTED]> wrote: > > [...] > > > On Sat, Jul 16, 2005 at 12:24:21AM +0300, Yuval Kogman wrote: > >> > There is a new generic comparison oper

More Method Resolution Order Questions (and WALKMETH and WALKCLASS)

2005-07-16 Thread Stevan Little
@Larry, I have been reading up on method resolution orders and class precedence lists and all sort of meta-model esoteria. Which brings me to ask myself, "How should all this be done in Perl 6?". The current state of the prototype meta-model is that it only supports pre-order class traversal

Re: Type::Class::Haskell does Role

2005-07-16 Thread David Formosa \(aka ? the Platypus\)
On Sat, 16 Jul 2005 12:14:24 +0800, Autrijus Tang <[EMAIL PROTECTED]> wrote: [...] > On Sat, Jul 16, 2005 at 12:24:21AM +0300, Yuval Kogman wrote: >> > There is a new generic comparison operator known as ~~. >>=20 >> ~~ is just Eq, there is also Ord > > Hmm, <~ and ~> for generic comparators? ;

Re: Type::Class::Haskell does Role

2005-07-16 Thread Yuval Kogman
On Sat, Jul 16, 2005 at 12:14:24 +0800, Autrijus Tang wrote: > Hmm, <~ and ~> for generic comparators? ;) EEK! i think <, <=>, >, == etc are enough for the ord and Eq class - that's what most people overload in p5 anyway. > > and Show > > That is already prefix ~ for that. How do you describe