Is there already a list class?

Robert Dockins robdockins at fastmail.fm
Wed Jan 10 09:38:25 EST 2007


On Jan 10, 2007, at 7:27 AM, Bulat Ziganshin wrote:

> Hello David,
>
> Wednesday, January 10, 2007, 5:35:03 AM, you wrote:
>
>>> class List l e, l -> e where
>
>> (But I don't like functional dependencies, because they confuse  
>> me, and
>> hope that associated types end up making it into Haskell'...)
>
> well, it is pretty studied design space, you can look the chapter  
> about
> fundeps in ghc 6.6 manual which describes various solutions for  
> containers
> class problem
>
> generally, we need either FD (which is not a part of Haskell') or  
> AT (which
> is supported only by GHC HEAD)
>
>
> about existing implementations:
>
> 1) Stringable class in fps-soc project. it is aimed to generalize
> interface of String and ButeString
>
> 2) numerous classes in Collections [2] and Edison [3] libraries
>
>
> [1] http://darcs.haskell.org/SoC/fps-soc
> [2] http://darcs.haskell.org/packages/collections
> [3] http://www.eecs.tufts.edu/~rdocki01/projects/edison-1.2rc4- 
> source.tar.gz


FYI, this is not the latest release of Edison.  The latest release is  
available from:

http://www.eecs.tufts.edu/~rdocki01/edison.html



>
> -- 
> Best regards,
>  Bulat                            mailto:Bulat.Ziganshin at gmail.com


Rob Dockins

Speak softly and drive a Sherman tank.
Laugh hard; it's a long way to the bank.
           -- TMBG





More information about the Libraries mailing list