<div dir="auto">Come on guys, let's keep it respectful, especially considering this is the libraries list. Lively debate is good, but it shouldn't turn to noise.</div><div class="gmail_extra"><br><div class="gmail_quote">On Apr 2, 2017 1:33 AM, "Tony Morris" <<a href="mailto:tonymorris@gmail.com">tonymorris@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Join me in not caring about the names. Again, use the types.<br>
<br>
It's triply hilarious that we have a typed programming language, and an<br>
increasingly disproportionate user base who don't know how to use those<br>
types. What is this? Amateur hour? Python exists.<br>
<br>
<br>
On 02/04/17 18:22, Henrik Nilsson wrote:<br>
> On 04/02/2017 01:56 AM, Tony Morris wrote:<br>
>> length :: f a -> Int<br>
>><br>
>> We immediately know that values of the kind (* -> *) slot in to the<br>
>> value (f), with a kind checker to ensure we get it correct. Therefore,<br>
>> we can easily reason about the length of values of kind ((,) a)<br>
>><br>
>> I do find it hilarious that this discussion continued using the term<br>
>> "tuple" as if to make a reasonable point. KIND ERROR.<br>
><br>
> And it's doubly hilarious that that the above argument is put forward<br>
> without any regard for picking an appropriate name for the concept,<br>
> which most certainly is very different from "length" as used in<br>
> everyday parlance, physics, mathematics, and any CS text-book on<br>
> data-structures and algorithms I've ever seen.<br>
><br>
> Best,<br>
><br>
> /Henrik<br>
><br>
><br>
><br>
><br>
><br>
> This message and any attachment are intended solely for the addressee<br>
> and may contain confidential information. If you have received this<br>
> message in error, please send it back to me, and immediately delete it.<br>
> Please do not use, copy or disclose the information contained in this<br>
> message or in any attachment.  Any views or opinions expressed by the<br>
> author of this email do not necessarily reflect the views of the<br>
> University of Nottingham.<br>
><br>
> This message has been checked for viruses but the contents of an<br>
> attachment may still contain software viruses which could damage your<br>
> computer system, you are advised to perform your own checks. Email<br>
> communications with the University of Nottingham may be monitored as<br>
> permitted by UK legislation.<br>
><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>
<br>
<br>
<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>
<br></blockquote></div></div>