From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: Bill White Newsgroups: comp.lang.ada Subject: Re: F-22 ADA Programming Date: Fri, 31 Oct 2014 10:11:22 +0000 (UTC) Organization: Aioe.org NNTP Server Message-ID: References: <220f97ab-9aa2-4961-b140-2b271c3ab99a@googlegroups.com> <99759c3f-a35f-4745-a8fd-2fb6ab6fb1aa@googlegroups.com> <48dc1630-8e7d-4e29-8bdd-53d74932d9d0@googlegroups.com> <88a7f98c-55c2-4b5f-8a9d-c8b7512781c8@googlegroups.com> <50cacb19-5d0b-4dbe-b91b-0b3b462913d6@googlegroups.com> <07d0ad94-160b-4873-ba1b-403e8c0bc420@googlegroups.com> NNTP-Posting-Host: +/QfP3n3dEXM/Vj71m5g9Q.user.speranza.aioe.org X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:22941 Date: 2014-10-31T10:11:22+00:00 List-Id: On 2014-10-30, Maciej Sobczak wrote: > >> It is not about escaping responsibility but come from the other end and try >> to be responsible. People are required to be diligent. Choosing the right >> platforms, languages, techniques etc. are all part of engineering just like >> choosing the right concrete, steel, and designs are are all part of making a >> bridge. > > And yet, among hundreds of available materials and components, architects choose those that are most economically viable in the given context, not the ones that have the best known parameters. For every bridge or building I would be able to prove that better materials exist - and they were not chosen for valid reasons. Every single day my life depends on materials that were chosen based on some economic compromises and sometimes that economy argument is passed on us - for example we have to choose what car we will buy to drive our kids to school and that decision also involves economy compromises. I bet that nobody on this group bought the best car that was ever created. Should we feel bad about it? I didn't say the best. I said "just like choosing the right concrete, steel, and designs. Engineering these days is mostly about choosing the cheapest possible materials and procedures that will meet the performance goals. OTOH in safety area people have found it worthwhile to over engineer somewhat. > > I am not aware of any engineering industry where purely technical > arguments are the only ones that are taken into account. It would be naive > to expect that IT should be any different. > >> I think that's misleading. It is not only the probability of failures that's >> important but their type and consequences. > > That C++ bugs have more severe consequences than Ada bugs? :-) Are you kidding me? Are you not aware that buffer overflows are a major ongoing, intractable issue in C and C++ deployments? Depending on the platform the results can be much worse than a segfault message. These kinds of errors can corrupt memory and produce "should never happen" errors that are unhandled or break the code of even the OS in unforseeable ways. And these kinds of errors are totally avoidable and never happen in Ada with the right compilation options. C and C++ pointers are another area where wild storage references are common and have the same damaging effects as buffer overflows. Things like that just don't happen in Ada and other safe languages. There's no excuse for using C or C++ in safety or even business-critical applications. And that's the tip of the iceberg. So much about C++ encourages rather than discourages complexity. And complexity kills. >> The question is whether people acted >> responsibly, cautiously, and in good faith. And those are things that make a >> difference in court. > > And I assure you that no programmer in the world selects his tools in bad >> faith (at least I don't know any such wrongdoers). Everybody can swear on >> their good intentions. That should solve the court problem, right? Nonsense. Most people are not even qualified to choose the tools they use and the majority of them don't even think this is a discussion. > If I understand things correctly, lack of due diligence has to be proven >in court. That depends. In criminal cases in America they are supposed to have to prove guilt. But in civil cases and that's where the money is, accused parties have to prove their innocence. > But who is responsible if most programmers are simply *not aware* >of better tools? Nowadays the universities teach that the best language for >everything is Java. Is the Java programmer liable for the broken system or >should we sue his university instead? You continue to try to twist the discussion into the framework of avoiding liability and who to collect money from, where I am coming from the angle of wanting people to be aware of the issues and do the right thing, because it's the right thing to do. Bill