<div dir="ltr">I don't know any function that is used more frequently. The only argument for the existence of the specialised `map` that I've heard is that it's supposed to make the type signatures simpler for the newbies. I find this argument outright wrong. The simplicity of the Prelude ship has sailed long ago. With the already scheduled changes it's gonna sail twice as far. Also I find the sole premise of trying to look simple to the newbies a waste of effort and consistency of API.</div><div class="gmail_extra"><br><div class="gmail_quote">2015-03-13 12:40 GMT+03:00 Erik Hesselink <span dir="ltr"><<a href="mailto:hesselink@gmail.com" target="_blank">hesselink@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Why is this change so important when fmap is already in the prelude?<br>
<span class="HOEnZb"><font color="#888888"><br>
Erik<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
On Fri, Mar 13, 2015 at 10:35 AM, Nikita Volkov<br>
<<a href="mailto:nikita.y.volkov@gmail.com">nikita.y.volkov@gmail.com</a>> wrote:<br>
> I can't +1 this enough to express how much I desire that change!<br>
><br>
> 2015-03-13 12:32 GMT+03:00 Fumiaki Kinoshita <<a href="mailto:fumiexcel@gmail.com">fumiexcel@gmail.com</a>>:<br>
>><br>
>> A dozen of functions like concat, foldr, mapM, have been generalized<br>
>> through BBP.<br>
>><br>
>> Then, why do we leave `map` just for lists? Obviously `map` can be<br>
>> generalized, so<br>
>><br>
>> map :: Functor f => (a -> b) -> f a -> f b<br>
>> map = fmap<br>
>><br>
>> The current definition of `map` looks too special to be a special case of<br>
>> mapM (map f = runIdentity . mapM (Identity . f)).<br>
>><br>
>> _______________________________________________<br>
>> Libraries mailing list<br>
>> <a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
>><br>
><br>
><br>
> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
><br>
</div></div></blockquote></div><br></div>