Re: Adding "()" operator to Ada 200X

[maa@liacc.up.pt (Mário Amado Alves)]

> >    function "()" ( Source : in Array_Like_Type;
> >                    Index  : in Index_Type )
> >       return Component_Type;
>
>  To go along with this, a way to define a slice of an
> Array_Like_Type would be nice.

Great idea!

function "()"
  (Source : in Array_Like_Type;
   From : in Index_Type;
   To : in Index_Type)
  return Array_Like_Type;

Or "(..)".

Yes, Matthew, it's just syntax. So are the (already) redefineable
operators. But it's really useful, no? Compare e.g.
  ...
  +"Marius",
  +"Matthew",
  ...
to
  ...
  new String' ("Marius"),
  new String' ("Matthew"),
  ...

Actually the fact that it's just syntax might facilitate getting it
approved :-)

BTW, I think that if a standard containers library is included in 200X
then Ada.Strings.Unbounded and the like should be revised in terms of
it. It would drastically reduce the size of the specs. It would
suffice to say something like

  Unbounded_String is equivalent to the container type
  of an instantiation of Ada.Containers.Arrays.Unbounded
  with the type Character.

--Marius