|Version 16 (modified by ross@…, 11 years ago) (diff)|
Suggestions should go under the heading that best describes the reasons they should be included.
Require or could use compiler support
- Control.Monad.Fix (for the IO instance)
- Control.Monad.ST (requires Rank2Types)
Useful in interfaces between unrelated modules
- replacement for the ReadClass, using a new parser library.
- monad transformers (though they require MultiParamTypeClasses and FunctionalDependencies)
On the importance of standardizing libraries
- Is there a point to have a library codified in the standard when the fptools library is the de-facto standard anyway? Does it make a practical difference for anyone?
I think so. A library that's in the standard might have specifications of functions. Thus different implementations of the library can be compared w.r.t. a definitive specification. Another point is stability. For example, the step from GHC 6.2 to GHC 6.4 caused quite a few library interfaces to change incompatibly. As a result, programs didn't compile any longer. On the other hand, the Haskell-98-standard libs are still supported. I think we should strive for stability of library interfaces. Whether it has to be by including libraries into the standard or by other means, I don't know. — Andres