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, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,2308afbbe4ecec0b X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: Subverting 'Access for Sub-programs Date: 1999/08/05 Message-ID: <7ocra4$s8o$1@nnrp1.deja.com>#1/1 X-Deja-AN: 509290006 References: <37A71EF1.2201@dera.gov.uk> <37A7FDE8.4F5@dera.gov.uk> <7o9vrv$qgt$1@wanadoo.fr> <7oc5ih$6mb$1@wanadoo.fr> <7occq3$g9v$1@nnrp1.deja.com> X-Http-Proxy: 1.0 x41.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja.com - Share what you know. Learn what you don't. X-Article-Creation-Date: Thu Aug 05 20:14:08 1999 GMT X-MyDeja-Info: XMYDJUIDrobert_dewar Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-08-05T00:00:00+00:00 List-Id: In article <7occq3$g9v$1@nnrp1.deja.com>, adam@irvine.com wrote: > Was any solution like this considered, when Ada 95 was > designed? The inability to take an 'ACCESS of an inner > subprogram seems like an obnoxious restriction, a step down > from Pascal and Algol Remember that Ada 83 was biased towards making the use of displays efficient (this is in fact why Steelman prohibited the language from containing subprogram pointers). Remember that the decision not to allow pointers to nested procedures in Ada 95 was based on implementation difficulties with displays. You can second guess this non-technical decision if you like, but for example, I have heard Aonix folk say that the current Object Ada would have been significantly impacted had the decision been made any other way. Remember that Pascal and Algol semantics definitely IS tricky for displays, as is well known (nearly all Pascal compilers use static links). So it is not clear what you are asking here? Sent via Deja.com http://www.deja.com/ Share what you know. Learn what you don't.