<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Apr 5, 2017 at 9:18 AM, Ben Franksen <span dir="ltr"><<a href="mailto:ben.franksen@online.de" target="_blank">ben.franksen@online.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="gmail-">Am 03.04.2017 um 22:48 schrieb Sven Panne:<br>
> Tuples *are* unbiased, the bias is just an artifact of seeing them as a<br>
> curried function, where the positions are "eaten" from left to right.<br>
> Again, this mathematically correct, but more often than not the main intent<br>
> of using a tuple-<br>
<br>
</span>Exactly. Currying is nice and convenient but it has an inherent bias.<br>
This bias is based on the necessity to choose an order when writing<br>
things down in sequence and unavoidable as long as we write programs as<br>
linear text. <br></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Just because we can curry something doesn't mean we have to give an<br>
independent (biased) interpretation to the curried entity.<br></blockquote><div><br>As Vladislav showed earlier, the bias is not just the order that things are written in. It is impossible (in Haskell as it exists) to make a Functor instance for (,b). It's not about interpretation, it's part of how the language works. <br> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<span class="gmail-"><br>
>> We can't just ignore that and pretend they're unbiased.<br>
><br>
> We *can* ignore that, just use Henning's Decorated for an isomorphic<br>
> variant.<br>
<br>
</span>And let's not forget Either which IMO should be regarded as an unbiased<br>
choice. I don't have a proposal for the name, though.<br>
<br>
Cheers<br>
<span class="gmail-HOEnZb"><font color="#888888">Ben<br>
</font></span><div class="gmail-HOEnZb"><div class="gmail-h5"><br>
______________________________<wbr>_________________<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-<wbr>bin/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div></div>