[swift-evolution] Specify type of a delegate which conforms to a protocol

Craig Cruden ccruden at novafore.com
Thu Feb 11 07:45:47 CST 2016


> On 2016-02-11, at 20:38:21, Ross O'Brien via swift-evolution <swift-evolution at swift.org> wrote:
> 
> I think this proposal should stick to the intersection type: a type which inherits from at most one class (multiple inheritance should definitely be a separate proposal) if it conforms to all of one or more specified protocols.
> 
> The next issue I'd see with the union type is that it's the already proposed Either type.
> 
> — Ross

Actually, no the union type has not been proposed.  It has been slightly talked about in the Either type discussion.  Either was a simple implementation that could do 80% of the use cases of type unions would allow (with 1% of the work :p).  

Whereas, union and intersection types are basically making changes to the type system itself — is it not?






More information about the swift-evolution mailing list