[swift-evolution] Partial list of open Swift 3 design topics

[David Waite]

> On Jun 28, 2016, at 10:15 PM, Dmitri Gribenko via swift-evolution <swift-evolution at swift.org> wrote:
> 
> On Tue, Jun 28, 2016 at 3:49 PM, David Hart via swift-evolution
> <swift-evolution at swift.org <mailto:swift-evolution at swift.org>> wrote:
>> 
>> 
>> I am also for removing associated type inference, and I guess if it needs to
>> be done, its now. Concerning SubSequence, isn’t that supposed to be away
>> post Swift-3 once we have some of the more powerful generics?
> 
> I'm not aware of any generics features that will allow us to remove SubSequence.

Generalized existentials provide an intelligent default value on Sequence for SubSequence and Iterator, if Element was an associated type. There would still be efficiencies possible if you were able to specify these associated types as concrete types.

-DW
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160628/a854f5f5/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160628/a854f5f5/attachment.sig>