[Haskell-cafe] RFC: functor-classes-compat
david.feuer at gmail.com
Tue Dec 13 19:24:12 UTC 2016
On Dec 13, 2016 1:26 PM, "Oleg Grenrus" <oleg.grenrus at iki.fi> wrote:
I'm not sure we want `transformers` to depend on `containers` either,
not even mentioning `vector` and `unordered-containers`. Also there are
people stuck with `transformers-0.4` (GHC 7.10).
Good point, although practically speaking, containers currently *can't*
depend on transformers, because transformers is not currently a GHC boot
package. There'll probably be room for your compat package for a while, but
you'll have to chase those bounds :-/.
> Current implementations are naive, but more obviously correct.
> More than what?
It seems that implementation for Data.Map is indeed "check size, compare
lists", but e.g for vector it uses streaming framework to make things
fuse, I still use "check size, compare lists" approach.
I believe the only containers structures with non-boring instances of any
of those classes are Data.IntMap, Data.IntSet, and Data.Tree.
Side question: why doesn't Read1 have the ReadPrec-based methods that Read
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe