On Monday, 4 January 2016 at 20:07:55 UTC, Walter Bright wrote:
On 1/4/2016 10:25 AM, Russel Winder via Digitalmars-d wrote:
It is important that this works. But it should be possible to
create an
operator algebra for any type: arithmetic types are a very
small subset
of types used in computing.
What do you suggest when the operators and precedence of the
desired algebraic type simply do not map cleanly onto C++
operators and precedence grammar? Allow users to define their
own operators and redefine the precedence? Where is the line
that shouldn't be crossed?
On this point specifically, I'm still considering attempting to
write a DIP because it would be very useful to have some
user-defined operators available. Take the OCaml/F# approach
where they provide a set of acceptable characters for operators
and define precedence automatically (depending on first character
of the name). (And definitely don't do the Haskell thing where
any binary function can be turned into an infix op.)
-Wyatt
