<div dir="ltr">Strong, but self-consciously hopeless, (+1) from me. Existence of the redundant `map` has confused many new people I've worked with. It was based on an early understanding of what was confusing or not to new people. `fmap` can be specialized by an explicit type - you can elide the existence of Functor from learning materials until it's appropriate without having API redundancy. Haskell 1.4 had it right to begin with.<div><br></div><div>The real argument against this change would the ambiguous type errors that would result. Compile-time type error but easily fixed with an explicit type annotation.</div><div><br></div><div>I'm not an imaginative person, but I can't think of any other problems at this time.</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Mar 13, 2015 at 4:35 AM, Nikita Volkov <span dir="ltr"><<a href="mailto:nikita.y.volkov@gmail.com" target="_blank">nikita.y.volkov@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I can't +1 this enough to express how much I desire that change!</div><div class="gmail_extra"><br><div class="gmail_quote"><div><div class="h5">2015-03-13 12:32 GMT+03:00 Fumiaki Kinoshita <span dir="ltr"><<a href="mailto:fumiexcel@gmail.com" target="_blank">fumiexcel@gmail.com</a>></span>:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5"><div dir="ltr">A dozen of functions like concat, foldr, mapM, have been generalized through BBP.<div><br></div><div>Then, why do we leave `map` just for lists? Obviously `map` can be generalized, so</div><div><br></div><div>map :: Functor f => (a -> b) -> f a -> f b</div><div>map = fmap</div><div><br></div><div>The current definition of `map` looks too special to be a special case of mapM (map f = runIdentity . mapM (Identity . f)).</div></div>
<br></div></div>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">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></blockquote></div><br></div>
<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></blockquote></div><br></div>