<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Shall we have a big discussion about it? Jeepers creepers mate.
Sorry for not apologising correctly.<br>
</p>
<br>
<div class="moz-cite-prefix">On 03/04/17 11:44, Fumiaki Kinoshita
wrote:<br>
</div>
<blockquote
cite="mid:CAATCwUmm4QdNKJSiCE_8H5WwHE0RBMC9c3U_R-_OFnjXXorG8w@mail.gmail.com"
type="cite">
<div dir="ltr">Don't think your "joke" made my proposal more
convincing or helped anything.</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">2017-04-02 18:04 GMT+09:00 Tony Morris
<span dir="ltr"><<a moz-do-not-send="true"
href="mailto:tonymorris@gmail.com" target="_blank">tonymorris@gmail.com</a>></span>:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
<p>It was mostly a joke. Sorry it wasn't understood that
way.<br>
</p>
<div>
<div class="h5"> <br>
<div class="m_1794723297714629800moz-cite-prefix">On
02/04/17 18:54, Theodore Lief Gannon wrote:<br>
</div>
<blockquote type="cite">
<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"
target="_blank">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"
target="_blank">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-bi<wbr>n/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"
target="_blank">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-bi<wbr>n/mailman/listinfo/libraries</a><br>
<br>
</blockquote>
</div>
</div>
</blockquote>
<br>
</div>
</div>
</div>
<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>
<br>
</div>
</blockquote>
<br>
</body>
</html>