<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Mon, May 2, 2016 at 1:30 PM Dave Abrahams via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
on Mon May 02 2016, Tony Allevato &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; wrote:<br>
<br>
&gt; Acknowledgments<br>
&gt;<br>
&gt; Thanks to Chris Lattner and Dave Abrahams for contributing to the early<br>
&gt; discussions, particularly regarding the need to improve type checker performance<br>
&gt; by genericizing protocol-based operators.<br>
<br>
FWIW, I think you have omitted an important (maybe even the main)<br>
argument for this arrangement, which is not type checker performance but<br>
improved user experience by getting piles of overloads out of the global<br>
namespace.</blockquote><div><br></div><div>I suppose I was treating that as a side effect of the type checking improvements (piles of overloads removed == faster type checking), but I can update the proposal to call it out more specifically. </div></div></div>