Abstract Collections vs. FunDeps

[Robert Will]

On Sat, 10 Apr 2004, Marcin 'Qrczak' Kowalczyk wrote:
>
> For example if we have "Collection c e" class instead of "Collectio ce
> e", we can't make the PackedString type its instance. We must give it a
> dummy parameter, always instantiated to Char.

So we can, though it's not nice.

> I once tried to design collection classes and failed.

To succeed we have to accept, that not all things will be nice, but we can
still get a lot of advantages out of it.  I hope my proposal can still be
made nicer, but at the moment I don't see any way to do that without
taking away many of its advantages.

Robert