Re: Array Help?

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

On Wed, 29 Feb 2012 18:15:52 -0500, Robert A Duff wrote:

> Ada allows you to fix 'First and 'Last, and it allows you to let
> both vary.  What's missing is a way to fix 'First, but allow
> 'Last to vary.  I sort of implied that a predicate should do that,
> but that's wrong.  There should be SOME way to do it.  And for
> completeness, I'd allow fixing 'Last, but allowing 'First to vary,
> although that's much less useful.

That sort of thing has nothing to do with constraining, so the idea to get
it using a predicate is straight wrong.

> I'm certainly not saying "all arrays should start at 1".  I'm saying
> "there should a way to declare an array type such that all objects of
> that type start at 1 (or any other value) while allowing 'Last to
> vary".

The array abstraction is that the given index denotes the *same* array
element. Sliding indices is another abstraction (ordinal, sequence) and it
does not require arrays having separate index types. Ordinals are same for
all sequences.

The point is that all cases where you wanted arrays to start from some
element are actually views on an array as a sequence of elements. Provide
that view and the problem would vanish. This would also eliminate the
problem of constructing empty arrays and simplify generics dealing with
arrays.

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