On Wed, Aug 19, 2009 at 11:45 AM, Reinier Zwitserloot <reini...@gmail.com>wrote:
> > disjoint types are structural in that you weaken the namespacing of > members. > > Disjoint types aren't structural unless the language makes them so. Java could be extended with disjoint types that compute a least upper bound nominally rather than structurally. Or it could require type dispatch and never use a LUB. As for namespacing, well it can't be made any weaker than it already is. It's a weak concept and always has been. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "The Java Posse" group. To post to this group, send email to javaposse@googlegroups.com To unsubscribe from this group, send email to javaposse+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/javaposse?hl=en -~----------~----~----~----~------~----~------~--~---