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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,fce663eaf40b52f6 X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!newsread2.news.atl.earthlink.net.POSTED!14bb18d8!not-for-mail Sender: mheaney@MHEANEYX200 Newsgroups: comp.lang.ada Subject: Re: Manifesto against Vector References: <1952584.Dh8uKYASTL@linux1.krischik.com> From: Matthew Heaney Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Tue, 11 May 2004 01:29:39 GMT NNTP-Posting-Host: 64.185.133.124 X-Complaints-To: abuse@earthlink.net X-Trace: newsread2.news.atl.earthlink.net 1084238979 64.185.133.124 (Mon, 10 May 2004 18:29:39 PDT) NNTP-Posting-Date: Mon, 10 May 2004 18:29:39 PDT Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: controlnews3.google.com comp.lang.ada:430 Date: 2004-05-11T01:29:39+00:00 List-Id: Jeffrey Carter writes: > What Unbounded_String does give us is guidance and reasons about how > to design and name an unbound array abstraction and its > operations. Since Unbounded_String is a special case of an unbounded > array, for consistency an unbounded array package added now should > have similar operations to Unbounded_Strings, with the same name when > possible, and be named something like Unbounded_Array. Calling it > Vector, having a bunch of operations that aren't in Unbounded_String, > and different names for the operations that exist in both is a good > way to create confusion. Indeed, it's a good thing the vector isn't named "Unbounded_Array", since it's not an unbounded array. (The vector uses an unbounded array as a model, in order to describe the semantics of the abstraction, but of course that doesn't mean the vector is an unbounded array. In fact, at least two compiler vendors will not be using an unbounded array as the representation of their vector implementation.)