Re: Imitation is the sincerest form of flattery

["Frank J. Lhota" <NOSPAM.lhota.adarose@verizon.net>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:p2vi7vs64p33mpnbsfsn43cvh72l44tm95@4ax.com...
> 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

I'm a little unclear about what you're asking for here. In your envisioned
vision of Ada, what does this code do? How would it differ from doing
something like this:

   -- This is Ada!
   type Unbounded_String ( First, Last : Integer ) is private;

private
   type Unbounded_String is record
      ...
   end record;