[Haskell] Proposal for a Standard of Abstract Collections (with Reference Implementation)

[Daan Leijen]

On Fri, 19 Mar 2004 08:56:36 +0100, Robert Will <robertw at stud.tu-ilmenau.de> wrote:

> Curiously I have finished the promised draft standard for the Abstract
> Collections just by a time, where many are busily working on DData.

At a first impression, Dessy seems very wide-ranged framework for
working with abstract collections. I am impressed by the amount of
work you have put in it, and also a bit intimidated by its size :-)

It would help me if you could use Haddock to show the interface in html
format (documentation is not  necessary for now, just the type signatures
would be great).

Could you maybe also tell something about the relation with Edison? This
framework seemed to have the same goals as Dessy?  Why is it not suitable
for your purposes?

> I'm making this discussion hot now, since my Dessy library implements
> the proposed collection standard and features all of the concrete
> structures that are also in DData, and some more,

Please be aware that the goal of DData is just to provide a range
of generally useful *concrete* data structures. Currently, JP Bernardy
is doing an excellent job of publicly discussing the design and naming
schemes to make DData part of the hierarchical libraries.

We are *not* trying to create a libraries for abstract collections like
Dessy and Edison. It is important though at this stage that DData can
be used for providing concrete implementations for an abstract collection
library like Dessy. Are there any important design issues/restrictions that
have to be fulfilled to make DData implement some of the collections?
(like needing Eq on the elements?)

All the best,
  Daan.

Old? Edison: <http://sourceforge.net/projects/hfl>
I think that Andrew Bromage is maintaining this?