From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Operators -> unit analysis
Date: 2000/01/07
Date: 2000-01-07T00:00:00+00:00 [thread overview]
Message-ID: <Pine.BSF.4.21.0001070831190.4673-100000@shell5.ba.best.com> (raw)
In-Reply-To: 854va4$prk$1@nnrp1.deja.com
On Fri, 7 Jan 2000, Ted Dennison wrote:
> In article <853lkg$tgj$1@nnrp1.deja.com>,
> Robert Dewar <robert_dewar@my-deja.com> wrote:
> > In article <3874D0BE.82F04763@Raytheon.com>,
>
> > Algol-68 designers regard it as a horrible mistake. One should
> > only rely on precedence of operators where the precedence rules
> > are clear and obvious. This cannot be the case by definition
> > for user defined precedences.
>
> I think you are saying that in practice it gets to be a mess. I do
> appreciate that. But the above statement would only be true if they are
> truly user-defined. If the operators and precedences are in fact created
> by the user to match existing precedences for established mathematical
> notations, then I think it *would* be clear and obvious to any user. For
> instance, if I make a notation including operators to mimic BNF
> productions (which I am doing, btw), any reasonable user would expect to
> *not* have to put parenthesis around a production's right side just to
> keep the BNF "::=" operator from being evaluated prematurely.
Ted, if this is what you are trying to do, you should take a look at a
"functional" programming language, like ML or Haskell. These languages
allow user defined infix operators, and the example you describe is
well studied in that community.
-- Brian
next prev parent reply other threads:[~2000-01-07 0:00 UTC|newest]
Thread overview: 77+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-23 0:00 Ada Brijesh
1999-12-23 0:00 ` Ada reason67
1999-12-23 0:00 ` Ada Robert Dewar
2000-01-03 0:00 ` Ada Terry Sikes
2000-01-03 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Robert Dewar
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Robert A Duff
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Florian Weimer
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Brian Rogoff
2000-01-04 0:00 ` Ada Terry Sikes
2000-01-05 0:00 ` Operators -> unit analysis Charles Hixson
2000-01-05 0:00 ` Ted Dennison
2000-01-06 0:00 ` Samuel T. Harris
2000-01-07 0:00 ` Robert Dewar
2000-01-07 0:00 ` Robert A Duff
2000-01-07 0:00 ` Matthew Heaney
2000-01-08 0:00 ` Robert Dewar
2000-01-08 0:00 ` Robert A Duff
2000-01-10 0:00 ` Operator precedence--was " Howard W. LUDWIG
2000-01-14 0:00 ` Mark A Biggar
2000-01-07 0:00 ` Ted Dennison
2000-01-07 0:00 ` Brian Rogoff [this message]
2000-01-06 0:00 ` Charles Hixson
2000-01-05 0:00 ` Pat Rogers
2000-01-05 0:00 ` Charles Hixson
2000-01-05 0:00 ` Matthew Heaney
2000-01-05 0:00 ` Charles Hixson
2000-01-05 0:00 ` Hyman Rosen
2000-01-05 0:00 ` Matthew Heaney
2000-01-06 0:00 ` Robert Dewar
2000-01-06 0:00 ` Terry Sikes
2000-01-06 0:00 ` Robert A Duff
2000-01-07 0:00 ` Terry Sikes
2000-01-07 0:00 ` Brian Rogoff
2000-01-07 0:00 ` Ted Dennison
2000-01-07 0:00 ` Tucker Taft
2000-01-08 0:00 ` Robert Dewar
2000-01-10 0:00 ` Tucker Taft
2000-01-10 0:00 ` Florian Weimer
2000-01-04 0:00 ` Ada Richard D Riehle
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Richard D Riehle
2000-01-04 0:00 ` Ada Robert A Duff
2000-01-04 0:00 ` Ada Robert Dewar
2000-01-04 0:00 ` Ada Terry Sikes
2000-01-05 0:00 ` Ada Robert Dewar
2000-01-05 0:00 ` Ada Terry Sikes
2000-01-06 0:00 ` Ada Al Christians
2000-01-06 0:00 ` Ada Terry Sikes
2000-01-07 0:00 ` Ada Robert Dewar
1999-12-23 0:00 ` Ada Greg Martin
1999-12-23 0:00 ` Ada Roger Racine
1999-12-28 0:00 ` Ada Marin D. Condic
1999-12-31 0:00 ` Ada Richard D Riehle
2000-01-02 0:00 ` Ada Marin D. Condic
2000-01-02 0:00 ` Ada Robert Dewar
2000-01-02 0:00 ` Ada Marin D. Condic
2000-01-03 0:00 ` Ada Robert Dewar
2000-01-03 0:00 ` Ada Marin D. Condic
2000-01-03 0:00 ` Ada Roger Racine
2000-01-03 0:00 ` Ada Larry Kilgallen
2000-01-04 0:00 ` Ada Charles Hixson
2000-01-03 0:00 ` Ada Ted Dennison
2000-01-13 0:00 ` Ada Magnus Alexandersson
2000-01-13 0:00 ` Ada Magnus Alexandersson
2000-01-14 0:00 ` Ada Tarjei T. Jensen
2000-01-14 0:00 ` Ada Larry Kilgallen
2000-01-14 0:00 ` Ada Marin D. Condic
2000-01-14 0:00 ` Ada Magnus Alexandersson
2000-01-14 0:00 ` Ada Marin D. Condic
1999-12-23 0:00 ` Ada Robert Dewar
1999-12-23 0:00 ` Ada tmoran
1999-12-23 0:00 ` Ada Jon Jensen
-- strict thread matches above, loose matches on Subject: below --
2000-01-08 0:00 Operators -> Unit Analysis mfeldman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox