I think you're right, and that's a strong reason to come up with an update to the Haskell Report. Include in it, at least: -- Big-ticket items 0. Monoid 1. Foldable, Traversable 2. Applicative 3. Applicative => Monad -- side notes 4. inits = map reverse . scanl (flip (:)) [] -- efficiency—not optimal but not hilariously bad 5. unwords = intercalate " " -- increased, more intuitive laziness On Tue, Nov 18, 2014 at 11:44 AM, Richard Eisenberg <eir@cis.upenn.edu> wrote:
I support this direction. But I disagree with one statement you've made:
On Nov 18, 2014, at 11:07 AM, Austin Seipp <austin@well-typed.com> wrote:
To be clear: GHC can still typecheck, compile, and efficiently execute Haskell 2010 code. It is merely the distribution of compatible packages that has put us in something of a bind.
GHC 7.10 will not be able to compile a Haskell2010-compliant Monad instance. In fact, as far as I can see, there is no way to write a Monad instance that is both portable to other Haskell compilers and acceptable to GHC 7.10. I think this point should be included in the manual (if I'm right).
This makes me a little sad, but I don't disagree with any of the decisions we've made along the way.
Richard _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users