Re:Dennis Ritchie on the priorities of && || vs. == etc. (1982)
by mlochbaum on Saturday January 06, 2024 @08:00AM
(#38891074)
Hey, even Dijkstra agrees with us on this one:
> I remember how much more pleasant the predicate calculus became to work with after we had decided to give con- and disjunction the same binding power and thus to consider p ∧ q ∨ r an ill-formed formula.
> I remember how much more pleasant the predicate calculus became to work with after we had decided to give con- and disjunction the same binding power and thus to consider p ∧ q ∨ r an ill-formed formula.
https://www.cs.utexas.edu/users/EWD/ewd13xx/EWD1300.PDF (page 4-5)