From: Peter <Peter.Vanbroekhoven@...>
Date: 2003-12-14T10:25:33+09:00
Subject: Re: additional methods for Array + custom operators

> How about enabling the user to define custom operators? Like in sml and
> prolog? (The charset of the operators is given, and one can define
> operators like <<< -+- whatever...)

I know how operators work in Prolog (or at least in Sicstus Prolog), I
don't know sml. But how would you handle precendence of operators? Prolog
let's you declare an operator, its associativity (to the
right/left/neither), and its precendence as a number. What happens when
two libraries define the same new operator, but want to give it different
precendence or associativity? In Prolog, that would be no problem, it
would just override the previous declarations, but the other library's
code would no longer parse. Though I defined my own operators in Prolog a
few times, I generally refrain from doing so because I don't like the
ambiguity. I would be very interested in learning a solution to this
problem though.

Peter