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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,9544fb5ce0a6df8b X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Received: by 10.68.36.6 with SMTP id m6mr25498344pbj.4.1322482010123; Mon, 28 Nov 2011 04:06:50 -0800 (PST) Path: lh20ni29878pbb.0!nntp.google.com!news1.google.com!postnews.google.com!q9g2000yqe.googlegroups.com!not-for-mail From: Ludovic Brenta Newsgroups: comp.lang.ada Subject: Re: Overloading attributes Date: Mon, 28 Nov 2011 04:06:49 -0800 (PST) Organization: http://groups.google.com Message-ID: References: <8ed87fee-166a-4be9-ae6c-4d0fbeb4788c@s6g2000vbc.googlegroups.com> NNTP-Posting-Host: 153.98.68.197 Mime-Version: 1.0 X-Trace: posting.google.com 1322482009 17607 127.0.0.1 (28 Nov 2011 12:06:49 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Mon, 28 Nov 2011 12:06:49 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: q9g2000yqe.googlegroups.com; posting-host=153.98.68.197; posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC User-Agent: G2/1.0 X-HTTP-Via: ICAP/1.0 192.168.152.2 X-Google-Web-Client: true X-Google-Header-Order: HUALESRCVNK X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.2.8) Gecko/20100728 Firefox/3.6.8 (.NET CLR 3.5.30729),gzip(gfe) Xref: news1.google.com comp.lang.ada:19209 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2011-11-28T04:06:49-08:00 List-Id: anon wrote on comp.lang.ada: > Before I get to what "Randy Brukardt" an ARG member said, let me > give you a little language lesson: You should not try to teach the Ada language to Jean-Pierre, who is also an ARG member. > If a programmer write a program using Ada programmer is author of that > Implementation aka program. If a programmer write a system (multiple Ada > programs), the programmer is the author of that Implementation or System. > And as the Implementation the Standard allows the author to create her/hi= s > own attributes for that Implementation. Little language lesson for you: as Peter wrote, the "implementation" is the compiler and run-time library, not the "program". In fact the "implementation" is not necessarily written in Ada. > From previous posts by "Randy Brukardt" > =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Oct 28, 2009 > > Post 1: > >> First, a historical question: Was there a proposal for user attributes >> that was considered for Ada 2005? > > Not seriously. It had been rejected for Ada 95, and in general, we didn't > want to rehash that old ground. > > Post 2: > >> When it was proposed for Ada 95, I griped about the implementation cost = (as >> noted in my original message). Some other implementers agreed with me. W= hen >> the scope reduction was applied to the Ada 9x proposal (the original >> language was just too large for the time, no one would ever have impleme= nted >> it), things that were just "nice to haves" were removed (even if they we= re >> technically sound). This was in that category, so out it went. Same thin= g >> happened to conditional expressions and many other useful ideas. >> The reasoning hasn't changed, so I don't think we'll be revisiting that = any >> time soon. > > Really!!! > > Now, what Randy forgot was that "conditional expressions" have been added > to GNAT starting in Ada 2005 and extended in Ada 2012. So, ARG does rehas= h > that old ground. Another little language lesson: GNAT is not Ada. Randy was talking about the Ada language definition, i.e. the ISO standard, i.e. the ARM. You are talking about one particular implementation called GNAT, which Randy does not work on (in fact he works on another implementation of Ada). And conditional expressions are not attributes. > So, people are looking for "user defined attribute" to be reintroduce > and added to Ada 2012 since it has not been formally voted on as a > Standard yet (which will occur between 2012 and 2020). And if not added > will be strongly requested from the Ada community for Ada 2020 Standard. There are no user-defined attributes. There are implementation- defined attributes. Some nut not all attributes (some standard, some implementation-defined) allow attribute definition clauses. Sad but true. > And others "nice to have" features that were once remove from the Ada 95 > Standard, will be requested or added back in Ada 2020. =A0Because it is > Time, some may say That's off-topic but for the sake of your credibility, could you name one such "nice to have" feature that has been removed from the Ada 95 Standard? (i.e. one that was present in Ada 83 but absent in Ada 95) > J-P. Rosen writes: >> Please stop spreading FUD. +1 -- Ludovic Brenta.