<div dir="ltr">What if the global numeric precedence scheme was retained, but users could overlay their own precedence graph? The nodes in that graph could be the operators one wants to treat differently, plus the usual 10 precedence levels. It wouldn't have to be connected.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Sep 2, 2020 at 5:30 PM John Cotton Ericson <John.Ericson@obsidian.systems> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  
    
  
  <div>
    <p>I definitely prefer this approach. I do not like absolutely
      levels, whether natural numbers or fractional. At the end of the
      day, that's all order-maintance for a *global* total preorder, and
      such a design will always result in unforeseeable interactions
      between independently-developed operators, not to mention
      increasingly ludicrously-precise fractions.</p>
    <p>This may sound like low-priority design pedantry, but I suspect
      (probably because I myself was taught with scheme) that
      spooky-action-at-a-distance precedence greatly harms beginning
      programmers, causing confusion or at least delaying the
      understanding that expressions are arbitrarily deep trees.</p>
    <p>John<br>
    </p>
    <div>On 8/17/20 12:12 PM, Carter Schonwald
      wrote:<br>
    </div>
    <blockquote type="cite">
      
      <div>
        <div dir="auto">Oh yeah!</div>
      </div>
      <div dir="auto">I feel like everyone’s wondered about that
        approach. But it definitely would need some experiments to
        validate. But in some ways it’d be super fascinating. </div>
      <div><br>
        <div class="gmail_quote">
          <div dir="ltr" class="gmail_attr">On Mon, Aug 17, 2020 at 9:40
            AM Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>>
            wrote:<br>
          </div>
          <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
            On Sun, 16 Aug 2020, Carter Schonwald wrote:<br>
            <br>
            > I do think that the work needed to actually support
            fractional <br>
            > precedence in ghc is pretty minimal.  Or at least I
            remember having a <br>
            > conversation about it a few years ago, and the
            conclusion was that <br>
            >  adding precedence would be super easy to do, but just
            lacked any good <br>
            > motivating example from real libraries. <br>
            <br>
            I remember this discussion, too, and I guess that it was
            started by Simon <br>
            Marlow and it ended with recalling that decades ago
            something more <br>
            advanced was discussed: Groups of equal precedence and
            relations between <br>
            the groups. But that one was too complicated to be
            implemented.</blockquote>
        </div>
      </div>
      <br>
      <fieldset></fieldset>
      <pre>_______________________________________________
Libraries mailing list
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a>
</pre>
    </blockquote>
  </div>

_______________________________________________<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-bin/mailman/listinfo/libraries</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Jeff Brown | Jeffrey Benjamin Brown</div><div dir="ltr"><a href="https://msu.edu/~brown202/" style="font-size:12.8px" target="_blank">Website</a>   |   <a href="https://www.facebook.com/mejeff.younotjeff" style="font-size:12.8px" target="_blank">Facebook</a>   |   <a href="https://www.linkedin.com/in/jeffreybenjaminbrown" style="font-size:12.8px" target="_blank">LinkedIn</a><span style="font-size:12.8px">(spammy, so I often miss messages here)   </span><span style="font-size:12.8px">|</span><span style="font-size:12.8px">   </span><a href="https://github.com/jeffreybenjaminbrown" style="font-size:12.8px" target="_blank">Github</a><span style="font-size:12.8px">   </span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>