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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,a81d7835683dac7b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-09-12 03:58:19 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: amado.alves@netcabo.pt (=?ISO-8859-1?Q?M=E1rio_Amado_Alves?=) Newsgroups: comp.lang.ada Subject: Re: Bases 1.52 Date: 12 Sep 2003 03:58:17 -0700 Organization: http://groups.google.com/ Message-ID: <17eddf9f.0309120258.cd58f31@posting.google.com> References: <4a4de33a.0309021059.53f71234@posting.google.com> <4060780.x1l89WMggb@linux1.krischik.com> <17eddf9f.0309092349.2ff22de2@posting.google.com> <1301057.xhkpTmYQhd@linux1.krischik.com> NNTP-Posting-Host: 212.113.164.98 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1063364299 29884 127.0.0.1 (12 Sep 2003 10:58:19 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 12 Sep 2003 10:58:19 GMT Xref: archiver1.google.com comp.lang.ada:42406 Date: 2003-09-12T10:58:19+00:00 List-Id: (I'm sorry if my replies are so delayed. Currently I have no news server except Google.) Martin Krischik wrote in message news:<1301057.xhkpTmYQhd@linux1.krischik.com>... > M�rio Amado Alves wrote: > > > Martin Krischik wrote: > >> 51 This parameter shall have the signature > >> type Element (<>) is private; > >> > >> Why restrict to just one signature? > >> > >> I have made very good experiences with containers based on: > >> > >> type Item (<>) is abstract tagged private; > >> > >> This frees my applications from using heap memory when I need to store > >> Item'Class instances.... > > > > I'm not sure about the memory management implications, but doesn't the > > first signature include the second, in the sense that it accepts > > tagged actuals? > > Yes, but to my knowlege you cant say: > > type Item'Class is private; I don't follow. Do you mean the formal in 1.51 does not accept a class wide actual? But it does. But you're right in that the formal in 1.51 does not accept abstract actuals. However I'm not sure about the usefulness--or even legality--of a container of abstract elements. Note the Bases requires "value semantics". Abstract types don't have values. >... > > Restricting to just one signature is simply to keep the library small. > > Shure, but one often likes to store Strings or a decendant of a tagged type. > With Strings one can use Unbounded_Strings but with tagged type on is lost. Sorry, I don't see the problem. > Besides, Sun did not keep the Java Library small. In fact the Java Library > is huge. And Java is more successfull. > > Or Python. The Python Library is huge and there are 2641 python project on > source forge and ony 67 Ada projects. Do you mean the *containers* library? Anyway, I think I'm ok with reformulating requirement 1.51 to just "the library shall support containers of indefinite elements." This covers class wide, and leaves open the decision for abstracts. However we should check in the body of knowledge (or right here and now) if there is consensus. As for the library size, the tendency is to recommend a maximum of 50 lines per package spec. And the Bases requires Vectors, Lists and Tables (maps), but leaves open the inclusion of others. BTW, Bases 2 has been submited to the ARG.