Re: Why can't objects be static in Ada?

["Randy Brukardt" <randy@rrsoftware.com>]

"Lucretia" <laguest9000@googlemail.com> wrote in message 
news:eea7b282-3a5a-4274-adbf-81f8f6741e67@googlegroups.com...
> On Tuesday, 16 April 2019 02:40:45 UTC+1, Randy Brukardt  wrote:
>
>> I view this as self-inflicted, because there's no little value to pragma
>> Preelaborate. As I previously noted, compilers will almost always 
>> generate
>
> Nope, I didn't implement it, someone else did.
>
>> the best possible elaboration code whether or not that pragma is applied.
>> And regardless of C.4, not all preelaborated code can be done before load
>> time, so it isn't providing a benefit in forcing that sort of code, 
>> either.
>>
>> It's one of the ideas where Ada tried to accomplish something, but didn't
>> quite succeed. Pure is like that as well, but at least it provides some
>> benefits for Annex E code. Preelaborate doesn't even do that.
>
> If it didn't succeed, why is it still part of the language? This is the 
> typical attitude
>of the ARG refusing to deprecate old stuff.

Mostly, I think, because most of us don't care about it enough to go through 
the fight of making it Obsolescent. And that doesn't do anything for 
implementers, it just hides the feature in the back of the Standard.

We'd need a full redesign of Ada in order to get rid of this stuff, but I 
doubt there is sufficient interest (and I doubt the result would be 
something I'd like, anyway).

                                        Randy.