"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.