[Haskell-cafe] Automatic fixity allocation for symbolic operators

Henning Thielemann lemming at henning-thielemann.de
Mon Oct 16 10:39:23 EDT 2006


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


More information about the Haskell-Cafe mailing list