<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>It was mostly a joke. Sorry it wasn't understood that way.<br>
</p>
<br>
<div class="moz-cite-prefix">On 02/04/17 18:54, Theodore Lief Gannon
wrote:<br>
</div>
<blockquote
cite="mid:CAJoPsuCgLv-q+GG=GpEqKw3vo5dVbgOwZtHqtdRQXu11YRVQWA@mail.gmail.com"
type="cite">
<meta http-equiv="Context-Type" content="text/html; charset=UTF-8">
<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 moz-do-not-send="true"
href="mailto:tonymorris@gmail.com">tonymorris@gmail.com</a>>
wrote:<br type="attribution">
<blockquote class="gmail_quote">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 moz-do-not-send="true"
href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
> <a moz-do-not-send="true"
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 moz-do-not-send="true"
href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a moz-do-not-send="true"
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>
</blockquote>
<br>
</body>
</html>