* Manuel Gómez <[email protected]> [2013-05-23 08:33:15-0430] > On Thu, May 23, 2013 at 3:07 AM, Roman Cheplyaka <[email protected]> wrote: > > Pull requests are welcome, but let's stick to widely agreed changes > > (like the Foldable/Traversable one). I think one of the reasons why > > other Preludes haven't been adopted is because they were too radical. > > > > * Andreas Abel <[email protected]> [2013-05-20 13:26:05+0200] > >> Maybe instead of fiddling with the current Prelude (which might break > >> backwards compatibility), we should design a new prelude which is not > >> automatically loaded but contains roughly the current prelude (with > >> the list functions generalized to collections) plus the "modern" type > >> class stack: Functor, Applicative, Monad, Foldable, Traversable, > >> Monoid etc. > > Is this strategy adequate for attacking the issue of the type class > stack, though? Defining, say, a new Monad class with the desired > Functor constraint wouldn’t be of much use, as everything else on > Hackage (and on the GHC libraries!) would still use the “real” Monad.
No, it definitely isn't. Roman _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
