<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=""><br class=""><div><blockquote type="cite" class=""><div class="">On 22 May 2016, at 11:08, Charlie Monroe 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=""><span style="font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">My main argument is that Swift is aspiring to be more than a language used for "apps on AppStore". As I've mentioned in the proposal, sensitive projects can't afford this class of bugs, since they are simple to make, hard to find and often you won't find them until runtime.</span><br style="font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><br style="font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">I know it's an extreme example, but can you imagine NASA using Swift with this kind of ambiguity without the ability to turn on such a warning? I've read several of their articles on software development and they are simply control freaks about everything. I know it's an extreme example, but the same goes IMHO with kernel development and any applications where lives are at stake.</span></div></blockquote></div><br class=""><div class="">The kind of critical applications used in sensitive system like rockets, nuclear plants, medical machines most often require safety so extreme that they use languages more fitted for those uses like ADA, or they use heavy linters over languages like Java.</div><div class=""><br class=""></div><div class="">One thing is sure: it’s already a difficult task to make a language like Swift span from systems to application development. I think it would be an impossible design task to make it also be useful by default for critical systems. I think it is much wiser to keep safety in mind, but leave the most extreme use cases to be implemented using linters.</div><div class=""><br class=""></div><div class="">If the design team is very serious about not integrating optional warnings, then I don’t think it is a huge bother to implement think in linters like SwiftLint is doing.</div><div class=""><br class=""></div><div class="">Regards,</div><div class="">David.</div></body></html>