Drastic Prelude changes imminent

Christopher Done chrisdone at gmail.com
Wed Feb 4 16:13:25 UTC 2015


> Looking at the generalizations in Data.List I find them pretty odd now when
> I think about it. I'd expect Data.List functions to be monomorphic to
> lists, just like I expect functions in Data.Map to be monomorphic to maps.
> Now there might be generalized versions of these functions in e.g. the
> Prelude, but generalizing Data.List means that I don't even have the
> monomorphic versions available if I want to resolve ambiguity by using
> them*.

Sums up my feelings exactly. Data.Map, Data.List, etc. should be
monomorphic. Adding generalized functions in Data.List is a little
baffling.


More information about the Libraries mailing list