On Mon, 16 Oct 2006, Nicolas Frisby wrote:
Regarding latticess and locality...
This idea probably won't help with editors, but the OP's question has sparked a discussion here and some thinking in my head--thanks Brian.
What if operator precedences were specified as a partial order instead of using numbers? Using numbers implies a potentially deceptive sense of completeness: "well I've given @+@ a precedence 5 and let that be written in stone forever so that all conflicts are resolved henceforth."
Most fixities I've dealt with are put into play only amongst related operators in a project (@+@ or @*@ in MySpecialLib) or amongst operators from a related library. If the syntax were like:
infixr @+@ infixr @+@ prec @+@ > @*@
dict.leo.org says: "great minds think alike" http://www.haskell.org/pipermail/haskell-cafe/2005-February/009260.html