Re: Ada Popularity: Comparison of Ada/Charles with C++ STL (and Perl)

["Matthew Heaney" <mheaney@on2.com>]

"Kevin Cline" <kevin.cline@gmail.com> wrote in message
news:e749549b.0409270631.2bf81ccf@posting.google.com...
> Matthew Heaney <matthewjheaney@earthlink.net> wrote in message
news:<uekkpt07s.fsf@earthlink.net>...
> > kevin.cline@gmail.com (Kevin Cline) writes:
> >
> > Indeed, you cannot do this.  In AI-302 (and in Ada.Strings.*), you have
to say:
> >
> >    Replace_Element (C, Index => 5, By => 7);
>
> I think this was a major error in the language design.  As a result it
> very tedious to write a generic that will work with both predefined
> and user-defined types.

All you need to do is write the generic in terms of (AI-302) container
operations, and then use locally declared subprograms to make the array
(say) work with the generic algorithm.  The "tedium" only applies when using
a generic on an array instead of a container.

For example:

generic
   type Cursor is private;
   with function Next (C : Cursor) return Cursor is <>;
   with procedure Replace_Element (C : Cursor; By : ET) is <>;
   with function Has_Element (C : Cursor) return Boolean is <>;
procedure Generic_Op (C : Cursor);

To use this with a container type, there's nothing you need to do except
instantiate the generic algorithm.

To make this work with an array, all you need to do is:

procedure Op (A : in out Array_Type) is

   procedure Replace_Element (I : Index_Type; E : ET) is
  begin
     A (I) := E;
  end;

  function Has_Element (I : IT) return Boolean is
  begin
     return I in A'Range;
  end;

  procedure Algorithm is
    new Generic_Algorithm (Index_Type, Index_Type'Succ);

begin
   Algorithm (A'First);
end Op;

Note that here the "cursor" is just the discrete array index subtype.  The
T'Succ attribute is used as the generic actual for the Next generic formal.

Your problem is that you're still thinking in C++ terms.  C++ works by
making containers look like built-in types.  That's different from Ada,
which (as demonstrated above) makes the built-in type look like a container.


-Matt