<div><div>On Sat, Nov 25, 2017 at 16:44 Mike Kluev &lt;<a href="mailto:mike.kluev@gmail.com" target="_blank">mike.kluev@gmail.com</a>&gt; wrote:<br></div><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>On 25 November 2017 at 22:38, Xiaodi Wu <span>&lt;<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>&gt;</span> wrote:<br></div><div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><span>On Sat, Nov 25, 2017 at 4:30 PM, Mike Kluev <span>&lt;<a href="mailto:mike.kluev@gmail.com" target="_blank">mike.kluev@gmail.com</a>&gt;</span> wrote:<br></span><div class="gmail_extra"><div class="gmail_quote"><span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="gmail_extra"><div class="gmail_quote"><span><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><div class="gmail_quote"><span class="m_-8106101494255217655m_4070009786109608198m_-5857024207606968569m_-3149584162428968126gmail-"><div dir="auto"><br></div></span></div></div></blockquote></span><div>i haven&#39;t encounter this notation before so it looks strange and requires some effort to decipher. if it was e.g. in this form:</div><div><br></div><div>extension (Equatable...) : Equatable</div><div><br></div><div>then it would be immediately obvious what it means, IMHO</div></div></div></div></blockquote><div><br></div></span><div>That reads to me like you are extending a tuple of type `(Equatable...)`. This is not the same as extending a tuple of type `(E...) where ...E : Equatable`.</div><div></div></div></div></div></blockquote></div></div></div><div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div></div></blockquote></div></div><div class="gmail_extra"><br></div><div class="gmail_extra">and if Equatable is not a type but a protocol then the practical difference is what ?</div></div></blockquote><div dir="auto"><br></div></div></div></div><div><div class="gmail_quote"><div dir="auto">Not sure what you’re asking. Equatable is a protocol.</div><div dir="auto"><br></div><div dir="auto">For a protocol P, (P, P) is a concrete type with two elements each of existential type P. For a type T : P, a tuple of type (T, T) is not a tuple of type (P, P). If we can extend tuples, you can write a generic algorithm that works with any type (T, T) where T : P, and/or you can write an algorithm that works with concrete type (P, P). Note that there is no overlap between these two because existential type P does not conform to protocol P.</div><div dir="auto"><br></div><div dir="auto"><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="gmail_extra"></div></div></blockquote></div></div>