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.
On Sun, 16 Aug 2020, Carter Schonwald wrote:
> I do think that the work needed to actually support fractional
> precedence in ghc is pretty minimal. Or at least I remember having a
> conversation about it a few years ago, and the conclusion was that
> adding precedence would be super easy to do, but just lacked any good
> motivating example from real libraries.
I remember this discussion, too, and I guess that it was started by Simon
Marlow and it ended with recalling that decades ago something more
advanced was discussed: Groups of equal precedence and relations between
the groups. But that one was too complicated to be implemented.