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,243dc2fb696a49cd X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Ada Popularity: Comparison of Ada/Charles with C++ STL (and Perl) Date: Mon, 27 Sep 2004 15:53:28 +0200 Message-ID: <1g1t1w0s8w6qj$.apn957e7iki3$.dlg@40tude.net> References: <13bv1aau5q9ht.1fr6ixcdql72.dlg@40tude.net> <1219289.a4UNLEWChh@linux1.krischik.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de /dCx3BOkfWeq+7KWevwOngcp4F3dNng5HvS0CY9R0TAaU+sfM= User-Agent: 40tude_Dialog/2.0.12.1 Xref: g2news1.google.com comp.lang.ada:4265 Date: 2004-09-27T15:53:28+02:00 List-Id: On Mon, 27 Sep 2004 12:59:02 +0000 (UTC), Georg Bauhaus wrote: > Dmitry A. Kazakov wrote: >: Insert is another story. Whether array indexing should be used for >: inserting new elements is questionable. Anyway, Ada lacks abstract arrays, >: abstract indices and many other things, > > In this sense Ada doesn't have anything abstract, does it? You cannot: package Foo is type String is array (Integer range <>) of Character is private; ... private type String is new Ada.Finalization.Controlled with ... An abstract array is something that can be indexed. It means that it has a definite set of abstract primitive operations like "()", ":=", 'First, 'Last etc to be implemented. The way an implementation does it is no matter, so in my hypothetical example, a string is implemented by a controlled type. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de