multi-Re: Abstract Collections

[Malcolm Wallace]

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
supports fundeps.

Regards,
    Malcolm