<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=""><div class="">I’m sorry, I don’t really understand the point you’re trying to make. Swift is open source. Anyone is free to make a Swift editor or integrate Swift support in to non-Apple IDEs, and then support additional features in their IDEs to make a custom-tailored Swift experience.</div><div class=""><br class=""></div><div class="">I also think you forgot to turn off your caps lock.</div><div class=""><br class=""></div><div class="">Cheers,</div><div class=""><br class=""></div><div class="">Dave</div><br class=""><div><blockquote type="cite" class=""><div class="">On Aug 31, 2017, at 4:33 PM, John Pratt <<a href="mailto:jprattx@gmail.com" class="">jprattx@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">OK BUT WHEN YOU CHANGE THE LANGUAGE YOU MIGHT ALSO CHANGE THE EDITOR.<div class="">WE AREN'T TO BE HELD HOSTAGE BY APPLE'S INTELLECTUAL PROPERTY OBSESSIONS</div><div class="">AND GREED.</div></div><div class="gmail_extra"><br class=""><div class="gmail_quote">On Thu, Aug 31, 2017 at 5:17 PM, Dave DeLong <span dir="ltr" class=""><<a href="mailto:delong@apple.com" target="_blank" class="">delong@apple.com</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class=""><span class=""><br class=""><div class=""><blockquote type="cite" class=""><div class="">On Aug 31, 2017, at 3:58 PM, David Sweeris <<a href="mailto:davesweeris@mac.com" target="_blank" class="">davesweeris@mac.com</a>> wrote:</div><br class="m_341236304613612735Apple-interchange-newline"><div class=""><div style="word-wrap:break-word" class=""><br class=""><div class=""><blockquote type="cite" class=""><div class="">On Aug 31, 2017, at 2:51 PM, Dave DeLong via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank" class="">swift-evolution@swift.org</a>> wrote:</div><br class="m_341236304613612735Apple-interchange-newline"><div class=""><div style="word-wrap:break-word" class="">Just a side observation…<div class=""><br class=""></div><div class="">One of the downsides I would put forward to notation like this is it massively increases the barrier to entry for anyone else. I look at that “Reduction.agda” file and wonder if I need to go back to school for a degree in Math just to understand what’s going on.</div><div class=""><br class=""></div><div class="">On the other hand, while using inefficient matrix notation may be more verbose, it <i class="">is</i> consistent with the other notation used in programming, which means it is more easily understandable for new-comers to the code.</div></div></div></blockquote><br class=""></div><div class="">New-comers from where? I've met more than one mathematician or physicist who claims they can't code because the syntax isn't what they're used to. People with different backgrounds can and do have vastly different ideas about what constitutes an intuitive syntax for any given semantic (which why I disagree with the notion that having more than one spelling for stuff is inherently bad).</div></div></div></blockquote><br class=""></div></span><div class="">That’s a fair point, which IMO reinforces the notion that changes like this should be an editor-level feature, and not a code-level feature.</div><div class=""><br class=""></div><div class="">An editor can reformat code (using a font with bazillions of ligatures or whatever) in was that you wouldn’t want to necessarily “hard code”.</div><span class="HOEnZb"><font color="#888888" class=""><div class=""><br class=""></div><div class="">Dave</div></font></span></div></blockquote></div><br class=""></div>
</div></blockquote></div><br class=""></body></html>