Search Mailing List Archives
[p4-feedback] Why does the expression editor remove essential parentheses?
kentspackman at gmail.com
Tue Apr 28 10:32:15 PDT 2009
Agreed. It isn't just programming languages, it is general Boolean logic
notation where AND ordinarily has precedence over OR. In the usual symbolism
by which Boolean logic is taught, AND uses the multiplication symbols and OR
uses the addition symbols, resulting in DNF (disjunctive normal form) being
called "sum of products" form.
From: p4-feedback-bounces at lists.stanford.edu
[mailto:p4-feedback-bounces at lists.stanford.edu] On Behalf Of Joel Bender
Sent: Tuesday, April 28, 2009 9:19 AM
To: nick.drummond at cs.manchester.ac.uk; p4-feedback at mailman.stanford.edu
Subject: Re: [p4-feedback] Why does the expression editor remove essential
> I'll raise this with Matthew and see if we can come to an agreement
> about which should hold.
My vote might not count for much, but please match the precedence or
virtually every language that uses infix expressions and makes AND (*,
restriction, intersection) higher precedence than OR (+, union).
The C language has ALGOL roots, and bucking the trend of 50 years of
programming languages would be a disaster.
p4-feedback mailing list
p4-feedback at lists.stanford.edu
More information about the p4-feedback