W3C home > Mailing lists > Public > w3c-math-erb@w3.org > September 1996

Re: notation for extending precedence

From: Neil Soiffer <soiffer@wri.com>
Date: Thu, 19 Sep 1996 23:28:49 -0700
Message-Id: <199609200628.AA06176@drizzle.wri.com>
To: dragonfly!bruce@wri.com
Cc: raman@adobe.com, w3c-math@w3.org
>This could be done by requiring them to be listed in order
>of non-decreasing precedence, with some indication of when the
>precedence level changes (since many of them have the same level),
>but the question is, how well can this coexist with the ability to
>define new operators incrementally -- that is, can one format for
>operator definitions solve both problems well?

Certainly listing the operators in order of non-decreasing precedence
is simple and easy to read, but doesn't work well for extensibility.
For extensibility, you (obviously) need to be able to name a previous
operator as in
(new-operator ">>" infix
    :precedence (less-than ">")
    :grouping "none"
    ... whatever other info is appropriate ...
)

My lisp background is showing:  the above should probably be in some style
similar to cascading style sheets.  After all, adding new operators is similar
to adding new style, in a very loose manner of speaking.

	Neil
Received on Friday, 20 September 1996 02:29:21 UTC

This archive was generated by hypermail 2.4.0 : Saturday, 15 April 2023 17:19:57 UTC