<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2016-08-02 7:18 GMT+03:00 Félix Cloutier <span dir="ltr">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt;</span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word">I disagree. The binary operators have properties that are comparable to arithmetic operators, and their precedence is easy to define as such. &amp; has multiplication-like properties (0*0=0, 0*1=0, 1*0=0, 1*1=1); | has addition-like properties (0+0=0, 0+1=1, 1+0=1, 1+1=2); ^ has subtraction-like properties (0-0=0, 0-1=-1, 1-0=1, 1-1=0), and their precedences are set accordingly (&amp; is multiplicative, | and ^ are additive).<div><div><br></div><div>The same applies to &amp;&amp; and ||. Bit shifts are exponentiative.<br></div></div></div></blockquote><div><br></div>I believe that such way of thinking is non-intuitive. In C, bitwise operators are not intervened by any others, except for comparison operators (agreed, it was a mistake). We now have possibilities to do so in Swift, even better. I suggest to branch off right before AdditionPrecedence:<div><br></div><div>RangeFormation &lt; Addition &lt; Multiplication</div><div>RangeFormation &lt; BitwiseOr &lt; BitwiseAnd &lt; LogicalShift</div><div><br></div><div>Another concern is NilCoalescing, which can be though to be semantically similar to Ternary. And at the same time it looks like || and &amp;&amp;, which would bring it between LogicalConjunction and Comparison.</div><div>Also, do Casting and RangeFormation stand where they should?</div><div><br></div><div>Next, Ternary operator is unique. Noone would ever like to put operators in this precedence group, because it would be confusing. Why not simplify our model and say that ?: has lower precedence than all binary operators, including Assignment? Unary &gt; binary &gt; ternary, sounds good? </div></div></div></div>