Drastic Prelude changes imminent

Erik Hesselink hesselink at gmail.com
Tue Jan 27 16:31:39 UTC 2015


Oh, I agree in general. I just don't see the migration path towards
this, because as you say, Data.List is generally imported unqualified
and often without explicitly naming the imported identifiers.

The only thing I can think of is to generalize Data.List when
generalizing the prelude, but also introduce e.g. Data.List.Mono which
has all the monomorphic variants.

Erik

On Tue, Jan 27, 2015 at 5:21 PM, Christopher Done <chrisdone at gmail.com> wrote:
> There's precedence for this, I think: Data.Map, Data.Vector, Data.List
> all export monomorphic functions. It's just we don't import Data.List
> as L because lists are given special treatment by Haskell 2010. It
> makes sense for Prelude to be polymorphic to me.


More information about the Libraries mailing list