multi-Re: Abstract Collections
Malcolm.Wallace at cs.york.ac.uk
Tue Mar 23 10:56:58 EST 2004
Robert Will <robertw at stud.tu-ilmenau.de> writes:
> On Sun, 21 Mar 2004 ajb at spamcop.net wrote:
> > I'm not happy with the "kind" of a collection. I personally think that
> > the type of the object in the collection is better connected with the
> > type of the collection with a functional dependency.
> Yeah, that may be a good thing to consider, but for now I think it's
> simpler without. FunDeps are a language extension, and I also think
> they're rather complicated.
Multi-parameter type classes, as used in your proposal, are also a
language extension. Every implementation that supports MPTC also
More information about the Libraries