multi-Re: Abstract Collections

Malcolm Wallace Malcolm.Wallace at
Tue Mar 23 10:56:58 EST 2004

Robert Will <robertw at> writes:

> On Sun, 21 Mar 2004 ajb at 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.


More information about the Libraries mailing list