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,604e0f87aa06eab6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-03-20 00:42:58 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!tar-alcarin.cbb-automation.DE!not-for-mail
From: Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Imitation is the sincerest form of flattery
Date: Thu, 20 Mar 2003 09:42:55 +0100
Message-ID: <p2vi7vs64p33mpnbsfsn43cvh72l44tm95@4ax.com>
References: <mailman.0.1047662587.16695.comp.lang.ada@ada.eu.org>
 <1047665830.579605@master.nyc.kbcfp.com>
 <b4vco6$98b$2@a1-hrz.uni-duisburg.de>
 <R6Qca.60199$gi1.40659@nwrdny02.gnilink.net>
 <b56sso$j5i$1@a1-hrz.uni-duisburg.de>
 <7eee7v4hpvj0i5s345uonlen5315rhiau8@4ax.com>
 <b59ja5$5qc$2@a1-hrz.uni-duisburg.de>
NNTP-Posting-Host: tar-alcarin.cbb-automation.de (212.79.194.111)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: fu-berlin.de 1048149776 75096428 212.79.194.111 (16 [77047])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:35555
Date: 2003-03-20T09:42:55+01:00
List-Id: <comp.lang.ada>

On Wed, 19 Mar 2003 11:12:05 +0000 (UTC), Georg Bauhaus
<sb463ba@d2-hrz.uni-duisburg.de> wrote:

>Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
>: However, what if we replace "OO" with "ADT", and then ask this
>: question again?
>
>What can you do with ADTypes, in the way that you can do something
>with extensible types?

To inherit the type interface. For example, an array type implemented
by a record type:

   -- This is not Ada!
   type Unbounded_String is
      private array (Integer range <>) of Character;

private
   type Unbounded_String is record
      ...
   end record;
   -- Definition of implemented abstract array opeartions follows

BTW. Extensibility is not the only way to create new types. It is not
the whole OO and there is no reason why it is not ADT.

---
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de