Re: subclassing associated classes elegantly

2005-10-19 Thread Luke Palmer
On 10/19/05, Stevan Little <[EMAIL PROTECTED]> wrote: > Darren, > > Your problem reminds me of the "Expression Problem", which is > something that IIRC Luke's Theory idea was trying to solve. Indeed, this problem is almost exactly the contravariant half of the expression problem. Once upon a time

Re: subclassing associated classes elegantly

2005-10-19 Thread Rob Kinyon
On 10/19/05, Darren Duncan <[EMAIL PROTECTED]> wrote: [snip] > An example of when this situation can arise is if person X implements > a simplified XML DOM implementation using 2 classes, Document and > Node, that work together, where one of those classes (Document) can > create objects of the othe

Re: subclassing associated classes elegantly

2005-10-19 Thread Stevan Little
Darren, Your problem reminds me of the "Expression Problem", which is something that IIRC Luke's Theory idea was trying to solve. Here is the link to a paper Luke referred me to on the subject: http://scala.epfl.ch/docu/files/IC_TECH_REPORT_200433.pdf Also, you can Google the phrase "Expre

Re: subclassing associated classes elegantly

2005-10-19 Thread Larry Wall
On Wed, Oct 19, 2005 at 03:11:21PM -0700, Darren Duncan wrote: : What are some best practices here that can be used by anyone faced by : a similar problem? My battery's running low, so I just skimmed your article, but my impression is that this is something that would be handled by virtualizing a