[swift-evolution] Proposal: An Either Type in the STL

[Thorsten Seitz]

> Am 10.12.2015 um 20:59 schrieb John McCall via swift-evolution <swift-evolution at swift.org>:
> 
> Also, are we allowed to *infer* structural sums?  For example, can we decide that the type of (x ? A() : B()) is A+B if that’s the greatest common type?  

That’s what Ceylon does.

-Thorsten
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20151212/b96721bf/attachment.html>