<html><body><div><br></div><div><br>Am 25. Mai 2016 um 03:07 schrieb Matthew Johnson via swift-evolution <swift-evolution@swift.org>:<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 <<a href="mailto:brent@architechies.com" class="" data-mce-href="mailto:brent@architechies.com">brent@architechies.com</a>> 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 &, |, and ^, by analogy with bitwise operators. It definitely came up during the SetAlgebra discussions. </div></div></div></blockquote><div><br class=""></div>Another thread I guess I didn’t follow closely enough. I think I agree with avoiding using unconventional operators for operations which already have conventional operators associated with them. 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 "&" for type intersection (any<>) and "|" for type union (one<>), 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 https://www.typescriptlang.org/docs/handbook/advanced-types.html).<br></span></div><div><span><br data-mce-bogus="1"></span></div><div><span>-Thorsten</span></div></div></body></html>