Abstract Collections vs. FunDeps
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