Inventing all these oneOf<> AllOf<> feel like an incomplete algebra that only exist because of a fixation on cramming everything inside the Any<> box.
What are they? How will they be described in Swift programming manuals? Pseudo protocols? Protocols? Then what will their .Type be? I'm sorry, I cannot see where this is all going. > On May 26, 2016, at 7:23 PM, Adrian Zubarev via swift-evolution > <[email protected]> wrote: > > I’m not against Any<…> or something, I just wanted to throw this in the room > because I’ve seen someone being confused about what Any<…> might mean. The > generic manifesto has a nice wordplay that explains the true meaning: “Any > type that conforms to … (all constraints) … .” > > But someone might still think that this type awaits any type from within the > angle brackets (something like oneOf<A, B>). > > > > -- > Adrian Zubarev > Sent with Airmail > > Am 26. Mai 2016 bei 19:15:19, Dave Abrahams via swift-evolution > ([email protected]) schrieb: > >> >> on Thu May 26 2016, Adrian Zubarev <[email protected]> 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 >> [email protected] >> https://lists.swift.org/mailman/listinfo/swift-evolution > > _______________________________________________ > swift-evolution mailing list > [email protected] > https://lists.swift.org/mailman/listinfo/swift-evolution
_______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
