Reform of the Monad, and Disruptive Change
voldermort at hotmail.com
Fri Feb 4 11:49:09 CET 2011
On 04/02/2011 12:08, Malcolm Wallace wrote:
> I suggested, and several people +1'd, that if we are making disruptive changes to the standard libraries defined in the
> Language Report (especially the Prelude), then we should aim to make a thorough job of cleaning up all the cruft and
> redesigning in a single strike. This means not just rearranging the Monad hierarchy, but looking at I/O types,
> exceptions, the default strictness of foldl, and much much more. I would expect the language committee to get involved
> in reviewing the decisions of the base library strike force.
> Then (for instance) ghc could make a major release with the refreshed libraries, and after a little experience in the
> field (and perhaps a few patches), the libraries would then proceed to be blessed as part of the subsequent language
I thoroughly agree with this. However, in the event that this does not happen, piecemeal fixes are better than none.
(Seeing as the inertia in Haskell is such that Haskell 2011 was cancelled, and Haskell Platform 2011 contains no new
packages, such a task force doesn't seem very likely.)
More information about the Haskell-prime