<div dir="ltr"><div><div><div><div><div>We have now passed the deadline for discussion of this proposal.<br><br></div>The count is 2 for and 3 against. Including myself in the vote would yield a tie on the outcome.<br><br></div>The response was more positive than I had thought it would be, albeit not entirely conclusive. I think it would be fair to put this to rest for now. I guess it will come up again in the future, since the functions are useful enough to warrant a common name IMO.<br><br></div>Many thanks to all for the valuable input.<br><br></div>/Johan<br></div><div><div><div><div><div><div><div><div><div><br></div></div></div></div></div></div></div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-05-20 7:27 GMT+02:00 wren romano <span dir="ltr"><<a href="mailto:winterkoninkje@gmail.com" target="_blank">winterkoninkje@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Thu, May 19, 2016 at 2:33 PM, Theodore Lief Gannon <<a href="mailto:tanuki@gmail.com">tanuki@gmail.com</a>> wrote:<br>
> Whoops, responded privately (and also made a mistake I wanted to correct, so<br>
> I guess that works out). To the list this time:<br>
><br>
> I don't like using the 'zip' terminology here; I feel like that should be<br>
> reserved for multiple distinct data sources.<br>
><br>
> Why not 'map2'?<br>
<br>
</span>I too dislike the "zip" terminology here, for the same reason. But I<br>
also I mislike "map" since this isn't functorial in any particular way<br>
(I'd expect "map2" to have to do with some sort of 2-functors).<br>
<br>
I'm agnostic on adding the function vs not, but If we're bikeshedding<br>
for short names how about "twine"? (The problem I see with "pairwise"<br>
is that it's ambiguous about whether values get "reused": i.e.,<br>
matching even elements to odds[1], vs matching every element to the<br>
next/last.)<br>
<br>
[1] I also note without comment that this interpretation is the<br>
inverse to what is traditionally called "zip" in the non-wellfounded<br>
set theory community; e.g., when viewing streams (like the Thue–Morse<br>
sequence) as a greatest solution to a system of equations.<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Live well,<br>
~wren<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<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" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>