Does this conversation mean anything in practice? Yes the general equals case is very interesting, but so is the traveling sales man, halting problem etc.
In practice though people deal with either distinct specification or norm of generated/delegated methods On Sun, Oct 17, 2010 at 8:31 PM, Kevin Wright <[email protected]>wrote: > How exactly do you distinguish between a red and a blue list, after > erasure, when there are no contained elements to infer the type from. > > Short of reification, or some sort of manifest system, or a bit of > heavyweight reflection to find the type param(s) of the member/argument > where the list is specified... I don't see how it would be possible. > > > On 17 October 2010 11:31, Vince O'Sullivan <[email protected]> wrote: > >> On Oct 17, 7:06 am, Reinier Zwitserloot <[email protected]> wrote: >> > ...but if you ever create a ColoredList >> > class, which gives all lists color, you MUST write its equals method >> > so that an empty red list is equal to an empty blue list, even though >> > that seems ridiculous. >> >> Not so ridiculous. I think that the basic premise that the two empty >> lists must be equal is wrong. The reason being that you can't always >> substitute an empty red list for an empty blue list. Try adding a red >> item to a blue list and you'll soon find that the empty lists weren't >> so equal after all. >> >> V. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "The Java Posse" group. >> To post to this group, send email to [email protected]. >> To unsubscribe from this group, send email to >> [email protected]<javaposse%[email protected]> >> . >> For more options, visit this group at >> http://groups.google.com/group/javaposse?hl=en. >> >> > > > -- > Kevin Wright > > mail / gtalk / msn : [email protected] > pulse / skype: kev.lee.wright > twitter: @thecoda > > -- > You received this message because you are subscribed to the Google Groups > "The Java Posse" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]<javaposse%[email protected]> > . > For more options, visit this group at > http://groups.google.com/group/javaposse?hl=en. > -- You received this message because you are subscribed to the Google Groups "The Java Posse" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/javaposse?hl=en.
