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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Community Input for the Maintenance and Revision of the Ada
 Programming Language
Date: Sat, 2 Sep 2017 20:22:53 -0500
Organization: JSA Research & Innovation
Message-ID: <ooflhe$ue5$1@franka.jacob-sparre.dk>
References: <oludae$seh$1@franka.jacob-sparre.dk> <oobpi2$m60$1@dont-email.me>
Injection-Date: Sun, 3 Sep 2017 01:22:54 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="31173"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: news.eternal-september.org comp.lang.ada:47896
Date: 2017-09-02T20:22:53-05:00
List-Id: <comp.lang.ada>

"Björn Lundin" <b.f.lundin@gmail.com> wrote in message 
news:oobpi2$m60$1@dont-email.me...
> On 2017-08-03 07:45, Randy Brukardt wrote:
>
>> WG 9 requests the Ada community to submit enhancements to be considered 
>> for
>> inclusion in the next revision of Ada.
>
> Hi!
> I sometimes find the need to auto generate code from some kind of
> description.
> It would help quite a bit if there was a way to
> * iterate over fields in a record
> * query a field of its properties, like type, length if applicable

AI12-0020-1 was moving in the direction of providing enough such features so 
that 'Image could be written (or generated) for a record type. Not sure if 
that is going anywhere, though.

As J-P said, full introspection is not appropriate for a compiled language. 
One could even argue that such features don't make sense for any portable 
language, as the meaning depends on the implementation for most things (most 
languages that have it have only one implementation).

                   Randy.