Re: Adacore joins with Ferrous Systems to support Rust

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

"Luke A. Guest" <laguest@archeia.com> wrote in message 
news:stiv47$bvh$1@gioia.aioe.org...
> On 04/02/2022 03:20, Randy Brukardt wrote:
>
>>> Just like we didn't touch generic packages until much later in the year,
>>> generic subprograms, yeah, because u_d was required early on.
>>>
>>>> objecting to this, I think he was right (philosophically; I've no idea
>>>> about the practicality of alternate approaches).
>>>
>>> How else would you do controlled types?
>>
>> Ada 9x originally had a bunch of magic attributes (similar to streaming). 
>> It
>
> Now I want to know what these magic attributes were! Were they specific to 
> a version of OO? Or were they to enable finalization?

They were specifically for finalization, and got called automatically in 
various places.

Re: Andreas. So far as I know, the documents existed only on paper - there 
never were any electronically distributed versions outside of the Ada 9x 
team (and possibly the printers). I still have a set of them on my 
bookshelf -- I look at them periodically to see where current oddities 
appeared in the language (and possibly to get some idea why). [But see 
below.]

Looking in the RM 3.0 (the final version was 6.0 for reference), it already 
had the tagged type version, but they were derived from an implementation 
defined type "Finalization_Implementation", and what became Adjust was named 
Duplicate.

Looking in ILS 1.2 (a working document full of ideas but not quite a 
complete RM, dated Dec 1992), I can't find any sign of finalization. It must 
have been gone by then.

I do have a large number of older documents somewhere in storage, but this 
isn't worth digging around in there to find out. Most of those were 
incomplete design documents.

You might be able to find something about that design in the Ada 9x mail 
archive or in the LSNs (Language Study Notes). You can find them on the 
AdaIC archives. =Rooting around in there, there are some promising looking 
documents in the "history" section of the AdaIC archives. There is a 
directory of stuff called "9x-history"; there probably is interesting stuff 
there.
    http://archive.adaic.com/pol-hist/history/9x-history/
LSNs are found in:
    http://archive.adaic.com/standards/95lsn/
The Ada 9x mail archive (These were known as "MRT comments"):
    http://archive.adaic.com/standards/95com/mrtcomments/
The comments of interest here are probably in the ZIPed comments rather than 
the more recent ones. (These are text files, I think, even though they don't 
have a usual extension.)

                                    Randy.