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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,99ab4bb580fc34cd X-Google-Attributes: gid103376,public From: Magnus.Kempe@di.epfl.ch (Magnus Kempe) Subject: Re: Q: access to subprogram Date: 1996/07/11 Message-ID: <4s2heh$321@disunms.epfl.ch>#1/1 X-Deja-AN: 167767274 distribution: world sender: magnus@lglsun4.epfl.ch (Magnus Kempe) references: <4rb9dp$qe6@news1.delphi.com> <4rr5tu$sap@watnews1.watson.ibm.com> <4s1j3f$uro@watnews1.watson.ibm.com> content-type: text/plain; charset=iso-8859-1 organization: Ecole Polytechnique F�d�rale de Lausanne mime-version: 1.0 newsgroups: comp.lang.ada Date: 1996-07-11T00:00:00+00:00 List-Id: ncohen@watson.ibm.com (Norman H. Cohen) writes: : : Bill Taylor's contribution was part of an ongoing discussion in the form : of comments sent to the Mapping/Revision Team during the design of Ada 9X. If I remember correctly, the final decision was based on arguments about displays (Dewar arguing against a more generalized 'Access), alternatives using generics and abstract types (Barnes arguing de facto against a more generalized 'Access), and the bad mistake made in Ada 83 (the lack of access to subprograms, as compared to C, Pascal, etc.). This is not the only decision that was made on the basis of some implementors' fears rather than for the sake of Ada users. For instance, at some point in the revision process child units of generics were rejected; the "solution" was a compromise so that some implementors would not need to make any changes in their linking steps when updating their compiler from Ada 83 to Ada 95. The consequence is that not all non-generic hierarchies of packages can be turned into generic hierarchies (just adding "generic" doesn't work, e.g. if some child unit needs to "with" another child unit in the same hierarchy). As Norm mentioned, most of these issues are documented in the "mrtcomments" available online. I hope the designers of Ada 0Y (oh-why) will read these discussions carefully for the next revision--if there is one--so that they can make a list of the fallacious arguments that will no doubt pop up again. In the meantime, I think it is a very bad idea to try to "fix" such mistakes by the introduction of an ever-increasing number of "hacking" attributes. For one thing, this tends to make Ada programs less portable (from one compiler to another). -- Magnus Kempe "I know not what course others may take, but as Magnus.Kempe@di.epfl.ch for me, Give me Liberty... or give me Death!" http://lglwww.epfl.ch/Team/MK/ -- Patrick Henry