Abstract Collections vs. FunDeps

Robert Will robertw at stud.tu-ilmenau.de
Thu Apr 15 11:53:18 EDT 2004

On Fri, 2 Apr 2004, Dylan Thurston wrote:
> I am now more convinced than before that the 'Eq' and 'Ord'
> constraints on your classes don't belong;

The 'Eq' constraint is gone now.  And I think the 'Ord' is no problem,
since Sets/Maps need 'Eq' anyway.

> if I want to implement the ridiculously slow list-based implementation
> of Sets currently in the Prelude, which only needs equality and nothing
> else, why can't I?

You could, if I the Abstract Collections had a class of Unordered Sets,
but I left that one out, because it is of little use.  (Really long
rationale is in the documentation.)


More information about the Libraries mailing list