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,3025dd6d917b499c X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.66.86.39 with SMTP id m7mr5077745paz.4.1351095374195; Wed, 24 Oct 2012 09:16:14 -0700 (PDT) Path: 6ni22614pbd.1!nntp.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!pink.octanews.net!news-out.octanews.net!indigo.octanews.net!auth.brown.octanews.com.POSTED!not-for-mail From: Paul Rubin Newsgroups: comp.lang.ada Subject: Re: Ada, the best language with the not-so-best tool chain References: <38af7fb8-b0a4-4a31-87aa-b7b698cc89c3@googlegroups.com> <3ca0ffd0-1764-484b-8fab-17c0d2dd9463@googlegroups.com> <1f645050-cf4c-40bf-a797-9687b69e4a54@googlegroups.com> <18ats2960nsvm$.kfufsnul13aq$.dlg@40tude.net> <5072c9ae$0$6562$9b4e6d93@newsspool4.arcor-online.net> <4keoa6epdxt7.1nnwxy7v7ar90.dlg@40tude.net> <5072dc68$0$6554$9b4e6d93@newsspool4.arcor-online.net> <1f7cmfp1l65w1.1deog8cfxbs0u$.dlg@40tude.net> <5072e37a$0$6556$9b4e6d93@newsspool4.arcor-online.net> <1wzhg6cdjkwjj$.uq66rzr2nlgy.dlg@40tude.net> <7xzk3ckxbv.fsf@ruckus.brouhaha.com> <96e29613-fec6-488b-842b-8f5dbcf44a03@googlegroups.com> Date: Wed, 24 Oct 2012 09:16:07 -0700 Message-ID: <7xtxtjvoag.fsf@ruckus.brouhaha.com> Organization: Nightsong/Fort GNOX User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) Cancel-Lock: sha1:Cr67nyjdG26o5jrGxgkNaLE3DfE= MIME-Version: 1.0 NNTP-Posting-Date: 24 Oct 2012 11:16:13 CDT X-Complaints-To: abuse@octanews.net Content-Type: text/plain; charset=us-ascii Date: 2012-10-24T11:16:13-05:00 List-Id: kalvin.news@gmail.com writes: > For instance the Ravenscar profile provides only limited set of Ada > features. If 8-bit controllers require more constricted subset, it is > just fine. The end result is still a language with strict type > checking etc. that C/C++ lack. OK, I guess this sounds reasonable, though I thought Ravenscar was closer to something like MISRA C, basically a subset of C.