<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 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 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 href="mailto:Libraries@haskell.org" target="_blank">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-bi<wbr>n/mailman/listinfo/libraries</a><br>
            <br>
            <br>
            <br>
            ______________________________<wbr>_________________<br>
            Libraries mailing list<br>
            <a href="mailto:Libraries@haskell.org" target="_blank">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-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 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><br></div>