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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5f6125e9594f9968 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.235.4 with SMTP id ui4mr27574353pbc.3.1332969362164; Wed, 28 Mar 2012 14:16:02 -0700 (PDT) Path: z9ni12589pbe.0!nntp.google.com!news1.google.com!goblin2!goblin.stu.neva.ru!feeder.erje.net!newsfeed.straub-nv.de!noris.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Wed, 28 Mar 2012 23:03:14 +0200 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:11.0) Gecko/20120313 Thunderbird/11.0 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ada to C translator for small microcontrollers References: <2424259e-cf1c-408e-a57e-f2c948087186@i2g2000vbv.googlegroups.com> <18324383.19.1332841560517.JavaMail.geo-discussion-forums@vbht7> <26305817.1823.1332879226490.JavaMail.geo-discussion-forums@vbiz13> <9tgt0lFqtU1@mid.individual.net> In-Reply-To: <9tgt0lFqtU1@mid.individual.net> Message-ID: <4f737c92$0$6636$9b4e6d93@newsspool2.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 28 Mar 2012 23:03:14 CEST NNTP-Posting-Host: adc03196.newsspool2.arcor-online.net X-Trace: DXC=f7XC4PKVaNYf8j24CD<3lPA9EHlD;3YcR4Fo<]lROoRQ8kFejVXKlci=\H3BPW?;eF0aX7L0^ X-Complaints-To: usenet-abuse@arcor.de Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Date: 2012-03-28T23:03:14+02:00 List-Id: On 28.03.12 18:36, Niklas Holsti wrote: > On 12-03-27 23:13 , kalvin.news@gmail.com wrote: >> This is a very valid question. How large a software project needs to >> be in order to benefit from implementing it in Ada? > > IMO, basically there is no lower limit, with the possible exception of the null program. There are few programming languages that let the programmer say that he wishes the null program to really be the null program. Ada has null, Python has pass. In other languages, the no-op needs to be either emulated or is implicit. I do not know (yet) why a no-op in the language is a must in a theory-friendly programming language, I have seen that it is. Ada has it, in any case.