<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">So to summarize….<div class=""><br class=""></div><div class="">Either is too specialized and thus not a good add…</div><div class=""><br class=""></div><div class="">And the general implementation that is not specialized - is likely too complicated to easily add.</div><div class=""><br class=""></div><div class="">:o</div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 2016-01-29, at 1:08:44, Chris Lattner via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div class=""><blockquote type="cite" class=""><div class="">On Jan 27, 2016, at 10:09 PM, Thorsten Seitz via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="content-type" content="text/html; charset=utf-8" class=""><div dir="auto" class=""><div class=""></div><div class="">As an alternative to Either for expressing a sum type I'd like to throw real union types like Ceylon uses into the discussion.</div><div class=""><br class=""></div><div class=""><a href="http://ceylon-lang.org/documentation/1.2/tour/types/" class="">http://ceylon-lang.org/documentation/1.2/tour/types/</a></div></div></div></blockquote><div class=""><br class=""></div><div class="">FWIW, this has been discussed before on swift-evolution. Adding them isn’t out of the question, but it is a lot more complicated than it looks for the type checker.</div><div class=""><br class=""></div><div class="">-Chris</div></div><br class=""></div>_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class="">https://lists.swift.org/mailman/listinfo/swift-evolution<br class=""></div></blockquote></div><br class=""></div></body></html>