<div dir="ltr">What intuition exactly? Demonstrate it to me so that I may empathise with it. What pain? Show it to me. Are you sure it's intuition and not something else? How are you so sure?<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Mar 20, 2017 at 12:28 PM, Artyom Kazak <span dir="ltr"><<a href="mailto:yom@artyom.me" target="_blank">yom@artyom.me</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><span class=""><div class="gmail_extra" dir="auto"><div class="gmail_quote">On 20 Mar 2017 1:31 a.m., "Tony Morris" <<a href="mailto:tonymorris@gmail.com" target="_blank">tonymorris@gmail.com</a>> wrote:<blockquote class="m_-1042257989186229919quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000">
    <p>"But the inconsistency with my intuition for the function named
      l-e-n-g-t-h that I learned in C programming school in the 1980s"
      is the best criteria that I have seen, and which commands outright
      dismissal.</p></div></blockquote></div></div></span><div dir="auto">This is exactly my criterion (except that I learned English, not C), and I do not agree with you that it "commands outright dismissal". There is value in functions being as general as possible, etc, but there is also value in conforming to human intuitions – because it prevents people from shooting themselves in their feet. Whether those intuitions come from math, or from C, or from English, or elsewhere, is entirely irrelevant. If behavior of `length` fully conforms to your intuitions, that's splendid and you're lucky; however, for me and my usecases it's *only* a source of pain, and I want a way to free myself of that pain (without having to learn another language or spend time trying to change my intuitions).</div><div dir="auto"><br></div><div dir="auto">Wanting to make one's life easier is not an unreasonable desire.</div><div class="gmail_extra" dir="auto"></div></div>
</blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Tony Morris<br><a href="http://tmorris.net/" target="_blank">http://tmorris.net/</a></div>
</div>