<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Feb 24, 2016 at 3:49 PM, Kosyrev Serge <span dir="ltr"><<a href="mailto:_deepfire@feelingofgreen.ru" target="_blank">_deepfire@feelingofgreen.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Nathan Bouscal <<a href="mailto:nbouscal@gmail.com">nbouscal@gmail.com</a>> writes:<br>
> Apologies for being unclear. By marginal, I meant that I expect many<br>
> learners who end up confused by this would have otherwise come across<br>
> the same confusion by other paths.<br>
<br>
This sounds odd to me in two ways:<br>
<br>
1. it is not "the same" confusion -- it is a worse confusion, for<br>
   several reasons:<br>
   - the questionable Functor instance gives a cognitive dissonance for<br>
     not transforming the entirety of the tuple (for good reasons, but still!)<br>
   - the questionable Functor is a puzzlingly arbitrary choice among a<br>
     N-family of options that an N-tuple provides.<br>
<br></blockquote><div><br></div><div>As Ed pointed out, there is nothing arbitrary about the choice. This actually makes tuples in some sense a uniquely good way of explaining how things work, because you can show why this restriction exists.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
2. but even if the confusion itself wasn't made worse -- its impact has<br>
   increased, because exposure to it has increased<br>
<div class="HOEnZb"><div class="h5"><br></div></div></blockquote><div><br></div><div>To the extent that exposure has increased, I would think it would be caused by confusion of the "lists vs tuples" type, which seems important to resolve early. That resolution doesn't really need to say anything about how Functor works, and can instead be more along the lines of "What problem were you trying to solve by taking the length of a tuple? Should you have been using a list instead?"</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">
--<br>
с уважениeм / respectfully,<br>
Косырев Сергей<br>
</div></div></blockquote></div><br></div></div>