Likewise, FWIW, +0 is ordered above -0 but is equal to it, so less than or equal to is not the same thing as being ordered at or below.<br><div class="gmail_quote"><div dir="ltr">On Wed, Apr 20, 2016 at 16:05 Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com">xiaodi.wu@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Less than or equal to is not the same as not greater than, because two unordered values are not less than or equal to and also not greater than.<br><div class="gmail_quote"><div dir="ltr">On Wed, Apr 20, 2016 at 15:51 plx via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>FWIW, you can avoid the multiple-preposition issue it differently:</div><div><br></div><div>- isLessThanOrEqual(to:) => isNotGreaterThan(_:), isAtOrBelow(_:), etc.</div><div><br></div><div>…neither of which I can claim to really like, but such possibilities exist.</div><div><br></div><div>Offering in case there's a better phrasing along similar lines.</div></div><div style="word-wrap:break-word"><div><br></div><div><blockquote type="cite"><div>On Apr 20, 2016, at 3:08 PM, Xiaodi Wu via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:</div><br><div><div style="white-space:pre-wrap">I'm saying something else. The preposition that goes with "less" is "than," while "to" goes only with "equal." By making "to" a parameter label you've got {less than or equal} to, which is inelegant because the label cannot be distributed to both parts--i.e. one cannot say "less than to or equal to."<br><br>Put another way, I could just as well rewrite the method as `equalToOrLess(than:)`. Now, the parameter is labeled "than" instead of "to," yet the parameter serves the same purpose. Thus, I argue that the proposed method name may meet the letter of the Swift guidelines but is awkward.<br></div><br><div class="gmail_quote"><div dir="ltr">On Wed, Apr 20, 2016 at 14:44 Dave Abrahams via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
on Tue Apr 19 2016, Xiaodi Wu <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:<br>
<br>
> * What is your evaluation of the proposal?<br>
><br>
> +1 in intent. Specifics require further refinement. For example:<br>
><br>
> Internal inconsistencies in capitalization:<br>
> * `signalingNaN` but `isSignalingNan` and `isNan`<br>
><br>
> Parameter labels, or whatever they're called now, do not reflect newly<br>
> adopted Swift syntax in SE-0046:<br>
> * `static func maximum(x: Self, _ y: Self) -> Self` should be `static<br>
> func maximum(_ x: Self, _ y: Self) -> Self`, etc.<br>
><br>
> Infelicitous use of prepositions to conform superficially to new<br>
> naming guidelines:<br>
> * `isEqual(to:)` is fine, but for consistency there's<br>
> `isLessThanOrEqual(to:)`, which is not fine, because the preposition<br>
> "to" applies only to "equal" and not to "less than"<br>
<br>
That seems like a huge stretch to me. Are you claiming it's wrong to<br>
say “x is less than or equal to y,” or are you saying something else?<br>
<br>
--<br>
Dave<br>
<br>
_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
</blockquote></div>
_______________________________________________<br>swift-evolution mailing list<br><a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a><br><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br></div></blockquote></div><br></div>_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
</blockquote></div></blockquote></div>