<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 <<a href="mailto:swift-evolution@swift.org">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 Mon May 02 2016, Tony Allevato <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:<br>
<br>
> Acknowledgments<br>
><br>
> Thanks to Chris Lattner and Dave Abrahams for contributing to the early<br>
> discussions, particularly regarding the need to improve type checker performance<br>
> 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>