[Haskell-cafe] Re: A typeclass for Data.Map etc?
wren ng thornton
wren at freegeek.org
Sat Feb 21 03:17:28 EST 2009
Achim Schneider wrote:
> wren ng thornton <wren at freegeek.org> wrote:
> > (b) allows
> > instances to have a fixed type for keys (like Data.Trie and
> > Data.IntMap have),
> Can't we do some type magic to automagically select Data.Trie if the
> key is a (strict) bytestring?
Uh, sure. I was thinking more that some ancient proposals for a map
interface required that the instance be polymorphic in the keys. Not all
maps are polymorphic in the keys, ergo...
More information about the Haskell-Cafe