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

Thorsten Seitz tseitz42 at icloud.com
Sat Dec 12 12:48:43 CST 2015

> 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.

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

More information about the swift-evolution mailing list