<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><div>On Mar 2, 2017, at 06:22, Björn Forster via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<br><br></div><blockquote type="cite"><div><div dir="ltr">Hello Joe,<div>I wanted to ask kindly if it would be possible that the core team adds to the rationale the design decision behind&nbsp;</div><div><pre style="box-sizing:border-box;font-family:sfmono-regular,consolas,&quot;liberation mono&quot;,menlo,courier,monospace;font-size:13.6px;margin-top:0px;margin-bottom:0px;font-stretch:normal;line-height:1.45;word-wrap:normal;padding:16px;overflow:auto;background-color:rgb(246,248,250);border-radius:3px;word-break:normal;color:rgb(36,41,46)">  <span class="gmail-pl-k" style="box-sizing:border-box;color:rgb(167,29,93)">associatedtype</span> <span class="gmail-pl-c1" style="box-sizing:border-box;color:rgb(0,134,179)">Magnitude</span> : <span class="gmail-pl-e" style="box-sizing:border-box;color:rgb(121,93,163)"><span class="gmail-pl-c1" style="box-sizing:border-box;color:rgb(0,134,179)">Equatable</span></span>, <span class="gmail-pl-e" style="box-sizing:border-box;color:rgb(121,93,163)"><span class="gmail-pl-c1" style="box-sizing:border-box;color:rgb(0,134,179)">ExpressibleByIntegerLiteral</span></span></pre></div><div>being not comparable. It was pointed out by several reviewers that it is against all intuition that a scalar is not comparable and therefore pretty much useless.</div><div><br></div><div>It would be great if you could add the thoughts of the core team regarding this to the rationale to document the reasons behind it.</div></div></div></blockquote><br><div>(Obviously I'm not Joe, nor do I speak for anyone)</div><div><br></div><div>IIRC, that was discussed in the thread: It isn't required for any stdlib or commonly used algorithms, and the constraint can easily be added to any code that does need it.</div><div>func foo &lt;T: Numeric&gt; (x:T) where T.Magnitude: Comparable {...}</div><div><br></div><div>- Dave Sweeris&nbsp;</div></body></html>