[Haskell] Proposal for a Standard of Abstract Collections (with
dpt at lotus.bostoncoop.net
Mon Mar 22 02:21:33 EST 2004
It looks interesting and I'm still looking at it, although I think
many of the language extensions need to be better thought out. But it
exhibits the "creeping Eq" problem: your hierarchy starts
class (Eq (coll a), Eq a)
=> Collection coll a
If this is to replace lists, this is unacceptable: I can't have lists
of (say) functions?
Collection classes should not require Eq instances on the members,
except when necessary!
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org//pipermail/haskell/attachments/20040322/b3aea001/attachment.bin
More information about the Haskell