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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,a9b0810d3106d9b8 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!l2g2000prg.googlegroups.com!not-for-mail From: KK6GM Newsgroups: comp.lang.ada Subject: Re: Fun with C Date: Mon, 18 Apr 2011 13:56:20 -0700 (PDT) Organization: http://groups.google.com Message-ID: <86863b42-649c-4ad7-8304-664fbd8900aa@l2g2000prg.googlegroups.com> References: <27cf3992-4132-4483-9110-adc7a089cd4a@e8g2000vbz.googlegroups.com> <54108d8d-4e7c-4901-bd5e-819d27720d48@a11g2000pro.googlegroups.com> <4daa8fc6$0$7652$9b4e6d93@newsspool1.arcor-online.net> <37428a21-61b4-4cdf-9897-7b84252f8fce@a11g2000pro.googlegroups.com> <4dab6906$0$6893$9b4e6d93@newsspool2.arcor-online.net> <57a1fa4b-4730-41a8-be8a-82061ef9dc22@x37g2000prb.googlegroups.com> NNTP-Posting-Host: 12.35.64.226 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1303160180 4172 127.0.0.1 (18 Apr 2011 20:56:20 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Mon, 18 Apr 2011 20:56:20 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: l2g2000prg.googlegroups.com; posting-host=12.35.64.226; posting-account=qZVz2QoAAAAN9WxYp-9jYb7jORc4Zqwt User-Agent: G2/1.0 X-HTTP-Via: 1.1 barracudaweb.tritool.rancho:8080 (http_scan/4.0.2.6.19) X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1; Trident/4.0; .NET CLR 1.1.4322; .NET CLR 2.0.50727; .NET CLR 3.0.04506.30; .NET CLR 3.0.4506.2152; .NET CLR 3.5.30729; MDDR; .NET4.0C; .NET4.0E; InfoPath.1),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:19845 Date: 2011-04-18T13:56:20-07:00 List-Id: On Apr 18, 12:12=A0pm, Elias Salom=E3o Helou Neto wrote: > > is not what C was planned for - don't > blame it. Here we agree. C is what it is, it never claimed to be One Language To Rule Them All. But it is a sign of our industry's lack of maturity that it has been used in so many areas where it is not the most suitable choice, and was never the most suitable choice. C (and C++) are highly unsafe languages. That is why they require so many tools and restrictions to be used reliably. But our industry continues to pound that square peg into every possible shape of holes. And so, inevitably, we end up with e.g. C code certified to DO-178B Level A that still has 10 times the anomalies of certified Ada code, and 100 times the anomalies of certified SPARK code. It defies logic.