[swift-evolution] [swift-evolution-announce] [Review] SE-0089: Replace protocol<P1, P2> syntax with Any<P1, P2>
L. Mihalkovic
laurent.mihalkovic at gmail.com
Thu May 26 12:32:08 CDT 2016
How about something like Type{P1 & P2 | P3} the point being that "<...>" has an established meaning in Swift today which is not what is expressed in the "<P1,P2,P3>" contained inside Any<P1, P2,P3>.
> On May 26, 2016, at 7:11 PM, Dave Abrahams via swift-evolution <swift-evolution at swift.org> wrote:
>
>
>> on Thu May 26 2016, Adrian Zubarev <swift-evolution at swift.org> wrote:
>>
>> There is great feedback going on here. I'd like to consider a few things here:
>>
>> * What if we name the whole thing `Existential<>` to sort out all
>> confusion?
>
> Some of us believe that “existential” is way too theoretical a word to
> force into the official lexicon of Swift. I think “Any<...>” is much
> more conceptually accessible.
>
>>
>> This would allow `typealias Any = Existential<>`. * Should
>> `protocol A: Any<class>` replace `protocol A: class`? Or at least
>> deprecate it. * Do we need `typealias AnyClass = Any<class>` or do we
>> want to use any class requirement existential directly? If second, we
>> will need to allow direct existential usage on protocols (right now we
>> only can use typealiases as a worksround).
>
> --
> Dave
>
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
More information about the swift-evolution
mailing list