<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><div>On May 25, 2016, at 12:29 PM, Thorsten Seitz via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<br><br></div><blockquote type="cite"><div><div><br></div><div><br>Am 25. Mai 2016 um 03:07 schrieb Matthew Johnson via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt;:<br><br><div><blockquote type="cite"><div class="msg-quote" style="word-wrap: break-word;" data-mce-style="word-wrap: break-word;"><br class=""><div><blockquote type="cite" class=""><div class="">On May 24, 2016, at 7:45 PM, Brent Royal-Gordon &lt;<a href="mailto:brent@architechies.com" class="" data-mce-href="mailto:brent@architechies.com">brent@architechies.com</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="auto" class=""><div class=""><blockquote type="cite" class="">I believe it was things like "+" and "-" for set union and subtraction, etc.</blockquote></div><div class=""><br class=""></div><div class="">That, or &amp;, |, and ^, by analogy with bitwise operators. It definitely came up during the SetAlgebra discussions.&nbsp;</div></div></div></blockquote><div><br class=""></div>Another thread I guess I didn’t follow closely enough. &nbsp;I think I agree with avoiding using unconventional operators for operations which already have conventional operators associated with them. &nbsp;Maybe someday it will be easy enough to type unicode operators that it might be reasonable to think about using them.</div></div></blockquote></div><div><span><br data-mce-bogus="1"></span></div><div><span>Yes, there is precedent in other languages: </span></div><div><span>Ceylon uses "&amp;" for type intersection (any&lt;&gt;) and "|" for type union (one&lt;&gt;), see <a href="http://ceylon-lang.org/documentation/1.2/tour/types/. ">http://ceylon-lang.org/documentation/1.2/tour/types/. </a></span></div><div><span>TypeScript does the same (see <a href="https://www.typescriptlang.org/docs/handbook/advanced-types.html">https://www.typescriptlang.org/docs/handbook/advanced-types.html</a>).<br></span></div><div><span><br data-mce-bogus="1"></span></div></div></div></blockquote><div><br></div><div>Some great minds have said a lot of good things about typescript...</div><div><br></div><br><blockquote type="cite"><div><div><div><span>-Thorsten</span></div></div></div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>swift-evolution mailing list</span><br><span><a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a></span><br><span><a href="https://lists.swift.org/mailman/listinfo/swift-evolution">https://lists.swift.org/mailman/listinfo/swift-evolution</a></span><br></div></blockquote></body></html>