From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.9 required=3.0 tests=BAYES_00,XPRIO autolearn=no autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Adacore joins with Ferrous Systems to support Rust Date: Fri, 4 Feb 2022 22:31:40 -0600 Organization: JSA Research & Innovation Message-ID: References: <87o83pzlvm.fsf@nightsong.com> <87bkzpyqx3.fsf@nightsong.com> <8735l0zo6j.fsf@nightsong.com> Injection-Date: Sat, 5 Feb 2022 04:31:42 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="16224"; 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; Response X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader02.eternal-september.org comp.lang.ada:63476 List-Id: "Luke A. Guest" 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.