<div dir="ltr"><div>Correct me if I'm wrong here.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 12 Apr 2019 at 05:21, Richard O'Keefe <<a href="mailto:raoknz@gmail.com">raoknz@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div style="font-family:monospace,monospace">How does the right associativity of the short-circuiting</div><div style="font-family:monospace,monospace">Boolean operators in any way contradict the way that such operators work in other languages?  These operators are associative, so a && (b && c) necessarily has the same value and effects as (a && b) && c.</div></div></blockquote><div><br></div><div>In pure Haskell, perhaps, but in other languages, I would say no.</div><div><br></div><div>In a language like C, I would expect that:</div><div>- a && b && c be represented in the AST as (a && b) && c</div><div>- The compiler optimizes the implementation of && to short circuit, which is, in some way, using laziness.</div><div><br></div><div>This is not to say that they are right-associative; it's just a compiler optimization.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div style="font-family:monospace,monospace">  It has never been the case that all operators in all programming languages were left associative.  For addition and subtraction it matters; you don't want a-b+c interpreted as a-(b+c), but not for || and not for &&.  My expectation is that these operators should be right associative.</div></div></blockquote><div><br></div><div>I can't find any reference for logic itself and, because /\ is introduced as associative from the start in propositional logic, it does not really matter. However, my training as a kid in math and the exposure to how I studied to solve (+) left to right (implicitly associating to the left) would have led me to intuitively parse / parenthesize conjunctions with multiple (&&) the same way unless instructed otherwise.<br><br></div><div>I think this portion of the Haskell Report is also relevant to this intuition in the case of haskell programmers: "If no fixity
declaration is given for `<tt>op</tt>` then it defaults
to highest precedence and left associativity" (Section 4.4.2).</div><div><br></div><div>Cheers</div><div><br></div><div>Ivan<br></div></div></div>