<div dir="ltr">+1 to this. I would really like to see what is and isn't in scope for Swift 3's generics system. Among other things, it would help focus the community's proposals and ideas for the evolution of the type system. An example, people have expressed interest in HKTs, and perhaps a discussion can be opened on how Swift 3's type system can lay the foundation for further changes.<div><br></div><div>Austin</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 10, 2015 at 3:45 PM, Matthew Johnson 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">One of the stated focus areas for Swift 3 is to complete the generics system. <div><br></div><div>How far along is the design for the “complete” generics system? Is there appetite among the core team to involve the community in evaluating planned features or submitting proposals to complement existing plans?</div><div><br></div><div>Also, is there any documentation other than <a href="https://github.com/apple/swift/blob/master/docs/Generics.rst" target="_blank">https://github.com/apple/swift/blob/master/docs/Generics.rst</a> describing in detail what the complete vision for the generics system is and what new features will be added in Swift 3 (as well as any generics features that have been decided against for Swift or version 3 specifically)?</div><div><br></div><div>Thanks,</div><div>Matthew</div>
<img src="https://u2002410.ct.sendgrid.net/wf/open?upn=7XtDdMHRjqIUi4tzSjSp2pWQIyxYdP6woIWn4vwV5gfTZJeZUEpd-2FYUeFTgVjUzsvrqr2HWwbkhbh7EvJcmNODMxzYF-2F-2FZjcvlqEbf8ZAMF4N1vfi8WopGa1y08ZF-2FTzEFHKkWQpeGOVjvMT-2FrABu5chf-2BDd9Wf2KOJENgX4fVMSjwdXd6rbO3-2FLsvLTZFq2gHmYhUpgPThYhpfXH1pvZ76alZcSUel48ZQw8oYhHiY-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>