<div dir="ltr">I like “requiredtype”. </div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature"><div dir="ltr">Step Christopher<div>Big Nerd Ranch, LLC<br></div><div><a href="mailto:schristopher@bignerdranch.com" target="_blank">schristopher@bignerdranch.com</a></div><div><br></div></div></div></div>
<br><div class="gmail_quote">On Sat, Dec 19, 2015 at 3:54 PM, Dave Abrahams via swift-evolution <span dir="ltr"><<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><span class=""><br><div><blockquote type="cite"><div>On Dec 19, 2015, at 12:17 PM, Michael Henson via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:</div><br><div><div dir="ltr"><blockquote class="gmail_quote" style="font-size:12.8px;margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">1) Do you agree about using “associatedtype”?<br>2) If not, which keyword would you prefer to use? why? (you can introduce a new one)</blockquote><div style="font-size:12.8px"><br>There is another alternative. Rather than trying to come up with another brand-new keyword, we can re-use one that has an existing and appropriate meaning: required.<br><br>Example:<br><br>protocol ExampleProtocol {</div><div style="font-size:12.8px"> required typealias Element</div><div style="font-size:12.8px"> typealias MethodSignature = (arg: Element) -> Bool<br><br></div><div style="font-size:12.8px"> ... etc</div><div style="font-size:12.8px">}<br></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">It's a little more verbose at the point of use but the declarations are relatively uncommon and this usage is clearly separate from regular typealias declarations.<br></div></div></div></blockquote></div><div><br></div></span><div>I think this is a big improvement over associatedtype, except that the type that satisfies the requirement needn't be a typealias. I would therefore prefer "requiredtype."</div><div><br></div><div>
-Dave<div><br></div><br>
</div>
<br>
<img src="https://u2002410.ct.sendgrid.net/wf/open?upn=FcqcGV1X8K7Vnxfj3w9H7RBvIFFHk0as3UHXRDc-2BSJt7AYKhEMjhUYNX8-2BkkKXhgr-2FnjODrsuH7Hd0xj5AqOnzyWrBLOn5ZaPtRjiI5-2B6hhbAYmAzAQvzyr3kvGZ5f93bq-2B82-2FOjnxyNa1wK98skKaLYeqqfuzi-2B1s2H37WbJ94zaa0lbsR3RcsY1ADp0-2F1csdSi3O2nZdAYiSGkCUoXVdl0bI7EmaebZRoa0Qwl2lo-3D" alt="" width="1" height="1" border="0" style="min-height:1px!important;width:1px!important;border-width:0!important;margin-top:0!important;margin-bottom:0!important;margin-right:0!important;margin-left:0!important;padding-top:0!important;padding-bottom:0!important;padding-right:0!important;padding-left:0!important">
</div>
<br>_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
<br></blockquote></div><br></div>