Re: class wide iterable (and indexable)

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2019-01-22 00:15, Randy Brukardt wrote:
> For instance, in a Vector, the
> lower bound is fixed for all values of a particular type. That would
> eliminate a lot of programming errors that happen in Ada programs (many
> programs fail to deal with unusual lower bounds, because it's hard to get
> right).

I disagree. It would make array slices more difficult to use. Presently 
we can do things like

    Read (Buffer (From..To), Last);

Foo can move the index Last and this is the same index as outside in the 
caller because indices do not slide. If you make the lower bound fixed, 
indices would slide and that would require a lot of index arithmetic 
upon calling subprograms on slices. This would be far more error-prone 
than occasionally forgetting to use Buffer'First instead of 1.

P.S. If we wanted safety we could use private numeric types for array 
indices and alternative array constructors with the number of elements 
(universal integer) instead of a range. That would preclude any literals 
appearing in place of an index.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de