<div dir="auto">I decided to look up the difference between tortoise and turtles, and apparently the former are land critters. Plus have elephant style hind feet to support their high load/ weight among the larger species due to being land focused. <div dir="auto"><div><a href="https://www.nationalgeographic.com/news/2017/12/shell-game--how-to-tell-a-turtle-from-a-tortoise/">https://www.nationalgeographic.com/news/2017/12/shell-game--how-to-tell-a-turtle-from-a-tortoise/</a></div><br></div><div dir="auto"><br></div><div dir="auto">So there’s a cute stable under load angle there ;) at least for a tortoise / land turtle angle </div></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Sep 2, 2020 at 12:08 PM John Cotton Ericson <John.Ericson@obsidian.systems> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><br><br>  <br><br>    <br><br>  <br><br>  <div><br><br>    <p>Yeah I think the old "functional programming is slow" memes died<br><br>      off about when the rest of the industry went on its JavaScript<br><br>      bender, so I am not really worried about the negative connotations<br><br>      of turtles.</p><br><br>    <p>The positive connotations of turtles sounds very good to me.<br><br>      Besides safety,</p><br><br>    <ul><br><br>      <li> the longevity of at least giant tortoises also speaks to<br><br>        GHC's rare ability to stay at the vanguard of research while<br><br>        still being wildly used.</li><br><br>      <li>Their ability to walk and swim speaks to the diverse backends<br><br>        that can be attached to GHC (NCG, LLVM, GHCJS, Asterius,<br><br>        Clash's, etc.).</li><br><br>      <li>Even the fable, from which the slowness myth comes from I<br><br>        guess, goes well with "avoid success at all costs".</li><br><br>    </ul><br><br>    <p>Conversely I am not a fan of choosing a Cat. I like Cats fine in<br><br>      real life, don't get be wrong, but Cats are so popular on the<br><br>      internet that this would be the the unmarked animal choice, with<br><br>      no clear connotations or memorability. I think that would be the<br><br>      juvenile choice, per Ben's slippery slope.<br><br><br>    </p><br><br>    <p>Foxes are nice, but I think Firefox has that for life.</p><br><br>    <p>Octopuses are alright. GitHub's Octocat doesn't doesn't pose<br><br>      nearly as much of a problem as Firefox for foxes. Still, while<br><br>      Octopuses are smart, they are usually solitary and mischievous.<br><br>      GHC is very much a long-term group effort, belying the solitary<br><br>      connotation, and I certainly hope any compiler I use isn't<br><br>      mischievous!<br><br><br>    </p><br><br>    <p>A turtle for a compiler is a bold choice that indicates our<br><br>      values, confidence that the performance of compiled code is immune<br><br>      to cheap derision, and humor.</p><br><br>    <p>John</p><br><br>    <p>P.S. The funny patterns on turtles' backs could be made of<br><br>      lambdas?...</p><br><br>    <p>P.P.S. and yes, if it does compel us to fix rampant list<br><br>      appending just so we're fast on all fronts, that would be nice too<br><br>      :).</p></div><div><br><br>    <div>On 9/2/20 11:47 AM, Ben Gamari wrote:<br><br><br>    </div><br><br>    <blockquote type="cite"><br><br>      <pre style="font-family:monospace">Richard Eisenberg <a href="mailto:rae@richarde.dev" target="_blank" style="font-family:monospace"><rae@richarde.dev></a> writes:<br><br><br><br></pre><br><br>      <blockquote type="cite"><br><br>        <pre style="font-family:monospace">I'm oddly drawn to the idea of a turtle -- except that turtles are<br><br>slow. But animals are cute. Maybe something involving a fox, given<br><br>that foxes can be clever? Octopuses are also known to be very clever,<br><br>but maybe GitHub has octopuses covered.<br><br><br><br></pre><br><br>      </blockquote><br><br>      <pre style="font-family:monospace">In general I'm rather neutral on the logo question. There is a fine line<br><br>between "juvenile" (which may detract from the project's credibility in<br><br>the eyes of some) and "cute" (which I think is universally a Good<br><br>Thing); the current rather boring logo was a quick attempt to satisfy<br><br>the need for some logo while recognizing that I lack the artistic<br><br>ability to walk that line. I don't think it's a bad logo but it's quite<br><br>dull and far from being a *good* logo. I do hope someone steps up to do<br><br>better.<br><br><br><br>Logos aside, I do feel the need to correct the record here: you<br><br>clearly have not seen how quickly a turtle can move when offered banana<br><br>or shrimp. They can be quite quick when suitably incentivized!<br><br><br><br>Cheers,<br><br><br><br>- Ben<br><br></pre><br><br>      <br><br><br>      <fieldset></fieldset><br><br>      <pre style="font-family:monospace">_______________________________________________<br><br>ghc-devs mailing list<br><br><a href="mailto:ghc-devs@haskell.org" target="_blank" style="font-family:monospace">ghc-devs@haskell.org</a><br><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank" style="font-family:monospace">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br><br></pre><br><br>    </blockquote><br><br>  </div><br><br><br><br>_______________________________________________<br><br>ghc-devs mailing list<br><br><a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br><br></blockquote></div></div>