<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">Maybe the “extension protocol <P>” syntax is more confusing than to just let<span style="color: rgb(55, 62, 77); background-color: rgb(254, 254, 254);" class=""> protocol types implicitly conform to the static methods of their own protocol?</span></div><div class="">Below is an example of what I mean:</div><div class=""><br class=""></div><div class=""><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(187, 44, 162);" class="">protocol<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> P {}</span></div><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo; min-height: 15px;" class=""><br class=""></div><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(187, 44, 162);" class="">extension<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> </span><span style="font-variant-ligatures: no-common-ligatures; color: #703daa" class="">P</span><span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> {</span></div><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(187, 44, 162);" class=""><span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span></span>static<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> </span>func<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> a() {}</span></div><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo;" class="">}</div><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo; min-height: 15px;" class=""><br class=""></div><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(187, 44, 162);" class="">extension<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> </span>protocol<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> <</span><span style="font-variant-ligatures: no-common-ligatures; color: #4f8187" class="">P</span><span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class="">> {</span></div><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(187, 44, 162);" class=""><span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span></span>static<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> </span>func<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> b() {}</span></div><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo;" class="">}</div><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo; min-height: 15px;" class=""><br class=""></div><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo;" class=""><span style="font-size: 12px; line-height: normal; color: rgb(187, 44, 162);" class="">class</span> C : <span style="font-size: 12px; line-height: normal; color: rgb(79, 129, 135);" class="">P</span> { }</div><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo; min-height: 15px;" class=""><br class=""></div><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo; color: rgb(0, 132, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #4f8187" class="">C</span><span style="font-variant-ligatures: no-common-ligatures; color: #000000" class="">.a() </span><span style="font-size: 12px; line-height: normal;" class="">// ok</span></div><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(0, 132, 0);" class=""><span style="font-size: 13px; line-height: normal; color: rgb(79, 129, 135);" class="">C</span><span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class="">.b() </span>// ok or not allowed?</div><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(0, 132, 0);" class=""><span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class="">P.a() </span>// not allowed</div><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo; color: rgb(0, 132, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #4f8187" class="">P</span><span style="font-variant-ligatures: no-common-ligatures; color: #000000" class="">.b() </span><span style="font-size: 12px; line-height: normal;" class="">// ok</span></div></div><div class=""><span style="font-size: 12px; line-height: normal;" class=""><br class=""></span></div><div class="">And if C.b() is not allowed, what about if we also do:</div><div class=""><br class=""></div><div class=""><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(187, 44, 162);" class="">extension<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> </span><span style="color: rgb(112, 61, 170);" class="">P</span><span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> {</span></div><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(187, 44, 162);" class=""><span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span></span>static<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> </span>func<span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class=""> b() {}</span></div><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo;" class="">}</div></div><div class=""><div style="margin: 0px; line-height: normal; font-family: Menlo; color: rgb(0, 132, 0);" class=""><span style="font-size: 13px; line-height: normal; color: rgb(79, 129, 135);" class="">C</span><span style="font-size: 13px; line-height: normal; color: rgb(0, 0, 0);" class="">.b() </span>// ok?</div></div><div class=""><br class=""></div><div class="">Should that be allowed?</div><div class=""><br class=""></div><div class="">Regards</div><div class="">Rasmus</div><br class=""><div><blockquote type="cite" class=""><div class="">On 28 Feb 2016, at 02:05, Joe Groff via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Rasmus Kjeldsen via swift-evolution<br class=""><<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:<br class=""><blockquote type="cite" class=""><br class="">I propose to allow static protocol extension methods to be used directly on the protocol.<br class="">This would enable the Factory-pattern to be elegantly implemented as in the example below:<br class=""><br class="">protocol P {}<br class=""><br class="">class A : P {}<br class="">class B : P {}<br class=""><br class="">extension P {<br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>static func factory(type: Bool) -> P { return type ? A() : B()}<br class="">}<br class=""><br class="">let a = P.factory(false) // <- Not possible in Swift 2, factory() can<br class="">only be used on either A or B<br class=""><br class="">Regards<br class=""><br class="">Rasmus Friis Kjeldsen<br class=""><br class=""><br class=""><br class=""><br class=""></blockquote><br class="">'extension P' extends all types that conform to P. We could introduce a new<br class="">syntax for extending the protocol type, maybe:<br class=""><br class="">extension protocol<P> { ... }<br class=""><br class="">This might be an important part of fleshing out our support for protocol<br class="">existential types. It would offer a way for protocol types to conform to<br class="">their own protocols even when Self or associated types make that normally<br class="">impossible. <br class=""><br class="">-Joe <br class=""><br class=""><br class="">_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class="">https://lists.swift.org/mailman/listinfo/swift-evolution<br class=""></div></div></blockquote></div><br class=""></body></html>