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.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,32cfbb718858528b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-06-06 20:46:18 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!news.gtei.net!news-out.visi.com!hermes.visi.com!cox.net!newsfeed1.earthlink.net!newsfeed2.earthlink.net!newsfeed.earthlink.net!newsfeed0.news.atl.earthlink.net!news.atl.earthlink.net!news.mindspring.net!not-for-mail From: Richard Riehle Newsgroups: comp.lang.ada Subject: Re: Commercial C To Ada 95 compiler Date: Thu, 06 Jun 2002 20:48:33 -0700 Organization: AdaWorks Software Engineering Message-ID: <3D002D11.CC706952@adaworks.com> References: Reply-To: richard@adaworks.com NNTP-Posting-Host: 3f.bb.6c.65 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Server-Date: 7 Jun 2002 03:45:41 GMT X-Mailer: Mozilla 4.7 [en] (Win98; I) X-Accept-Language: en Xref: archiver1.google.com comp.lang.ada:25430 Date: 2002-06-07T03:45:41+00:00 List-Id: Henrik Quintel wrote: > Dear all, > does someone knows an ANSI C to Ada 95 compiler (commercial)? > The compiler has to translate C header and C body files. This idea, if you will forgive my being blunt, makes absolutely no sense at all. Ada is built on a design model more sophisticated than C, and any attempt to promote C syntax to the Ada structural model is likely to produce the kind of code that make Ada look bad. We have seen enough of this absurdity in the Fortran to Ada translators and Jovial to Ada translators. The problem is this: how do you promote low-level syntactic constructs, with none of the elegance of Ada's type model, and no hint of scope and visibility rules, to good Ada code. How do you convert a program written in a language where the default for every construct is unsafe to a program written in a language where the default for every construct is safe. It is simply not worth the effort to try. Richard Riehle