> On Jan 7, 2017, at 9:17 PM, Douglas Gregor <dgre...@apple.com> wrote:
> 
> 
> 
> Sent from my iPhone
> 
>> On Jan 6, 2017, at 11:04 PM, Russ Bishop <xen...@gmail.com> wrote:
>> 
>> 
>>> On Jan 4, 2017, at 8:48 PM, Douglas Gregor via swift-evolution 
>>> <swift-evolution@swift.org> wrote:
>>> 
>>> 
>>>> 
>>>> Would love to see this come forward into discussion.
>>> 
>>> Yeah. I'm less sure about the other enhancements to existentials fitting 
>>> into Swift 4, e.g., the creation of existentials for protocols with 
>>> associated types. Although important, it's a big feature that will take a 
>>> bunch of design and implementation time, and I'm leery of accepting 
>>> something that we might not actually be able to achieve. 
>>> 
>>> - Doug
>> 
>> By this are you referring to generalized existentials?
> 
> Yes. I actually prefer the term "generalized existentials".
> 
>> If so I’ll say this is such a constant pain point and perverts so many API 
>> designs… not to mention vomiting AnyXYZ type-erased wrappers everywhere… In 
>> my completely non-authoritative personal opinion we shouldn’t ship Swift 4 
>> without it :)
> 
> To be absolutely clear, I think this is an extremely important feature. It's 
> also a significant undertaking in both design and implementation. 

If I could wish for just one pony this year…. ;)


Russ
_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to