Make Prelude's map = fmap

[Brandon Allbery]

On Sun, Jun 23, 2013 at 2:20 PM, Nikita Volkov <nikita.y.volkov at gmail.com>wrote:

> On Jun 23, 2013, at 10:11 PM, Henning Thielemann <
> lemming at henning-thielemann.de> wrote:
> > If in future Prelude moves more and more to one most general function
> that does everything given the right type, then I am really concerning to
> use NoImplicitPrelude in all my modules and use a custom Prelude or none at
> all.
>
> That's exactly what I am doing now and the very existence of a dozen of
> "prelude" projects on hackage suggests that I'm hardly alone in that.


Except that most of them are making things *more* general, whereas Henning
believes polymorphism is evil and confusing.

Is there anything else we need to remove from Haskell to make it
"appropriate"? Within the past 24 hours I have heard impassioned arguments
for jettisoning polymorphism, monads, and arrows. Maybe strong typing
should be removed next? Currying?

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20130623/5d351d32/attachment.htm>