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: 
 border1.nntp.dca3.giganews.com!border2.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!news.glorb.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: example of machine generated Ada ?
Date: Thu, 03 Oct 2013 06:40:35 +0100
Organization: A noiseless patient Spider
Message-ID: <lyr4c2ud2k.fsf@pushface.org>
References: <87fee75d-04d9-49bb-8cb2-4c5ea7f98cdf@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx05.eternal-september.org;
 posting-host="efa74e8377ee8d65bf4cce5dc399bc92";
 logging-data="1127"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX1+hY6Ho3qoBXZuoWGcIEtbYdWeKraZAtv0="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:LdD0M0OHJWGwLfwbdKLYqcrorUU=
 sha1:CcTcC0pU4DIJ5BzQ8GAk6GLVzkk=
X-Original-Bytes: 2162
Xref: number.nntp.dca.giganews.com comp.lang.ada:183581
Date: 2013-10-03T06:40:35+01:00
List-Id: <comp.lang.ada>

Patrick <patrick@spellingbeewinnars.org> writes:

> I am just daydreaming about generating Ada from another language.
>
> Several languages use C as an intermediate language but hand written C
> is hard to read and machine generated is even more painful. Ada might
> make for reliable, readable machine generated code.

It depends on the aims of the person/organisation that develops the code
generator. My aims in ColdFrame[1], which amongst other things generates
package specs that users might need to look at, included that the
generated code should look as if it had been written by a human - and
should compile without warnings, especially style warnings. I see that I
actually suppress style warnings, but as I recall this was only because
users insisted on using very long names and in consequence I couldn't
avoid long lines. Perhaps I should revisit this now that GNAT allows
finer control? - no, it only allows you to switch particular style
checks off for specific entities, the non-specific form only allows
adding checks.

[1] https://sourceforge.net/projects/coldframe/