On Mon, 19 Nov 2007, Brandon S. Allbery KF8NH wrote:

> On Nov 19, 2007, at 15:47 , Radosław Grzanka wrote:
>
> > If you look at the stability tag of ghc libraries you will see that a
> > lot of them are marked as "provisional" (Network.URI for example) or
> > "experimental" (Control.Monad.Trans).
>
> This may not refer to what most people care about; the "experimental"
> stability of Control.Monad.Trans is related to its use of fundeps and
> undecidable instances, and the possibility (likelihood?) of its being
> switched to type families (which "shouldn't" change its user-visible
> interface, as I understand it).

I like to see MTL split into a Haskell98 part and an advanced part. I
mostly use functionality which would nicely fit into a Haskell98 interface
and find it annoying that by importing MTL my code becomes less portable.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to