[swift-evolution] [swift-evolution-announce] [Review] SE-0089: Replace protocol<P1, P2> syntax with Any<P1, P2>

Dave Abrahams dabrahams at apple.com
Thu May 26 12:11:52 CDT 2016


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



More information about the swift-evolution mailing list