moving Foldable and Traversable to Prelude
lemming at henning-thielemann.de
Wed May 15 23:04:15 CEST 2013
On Wed, 15 May 2013, David Luposchainsky wrote:
> +1. I think the Prelude should be a general module of the most commonly
> needed functions, which (generalized) folds and traversals are certainly
> part of; right now it feels more like a beginner module at times.
It is certainly a kind of beginner module, but that's good. Experts know
how to import. Putting the most general functions into Prelude does not
1. There are often multiple sensible generalizations of a Prelude
2. You have to add more type annotations since types cannot be infered
from the functions.
There is simply no need to change Prelude and all packages that rely on
specific types. Just don't be lazy and import the stuff you need!
I should change my vote to:
More information about the Libraries