<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<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 class="moz-cite-prefix">On 8/17/20 12:12 PM, Carter Schonwald
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAHYVw0z2XQRF_VmdXXiu06ZA64kCDSKOtvCPgroeQgEU+=g0HA@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<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"
moz-do-not-send="true">lemming@henning-thielemann.de</a>>
wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;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 class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Libraries mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Libraries@haskell.org">Libraries@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a>
</pre>
</blockquote>
</body>
</html>