Re: Inferring array index type from array object

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

On Wed, 23 Jun 2010 00:30:23 -0700 (PDT), Maciej Sobczak wrote:

> Consider this:
> 
> S : String := "Hello";
> 
> It is possible to iterate over all indices of this array with this
> construct:
> 
> for I in S'Range loop ...
> 
> I would like to declare I as a free variable instead and I would
> expect some symmetry in the language by doing this:
> 
> I : S'Range := S'First;

subtype Index_Span is Integer range S'Range;
I : Index_Span := S'First;

> I have two questions:
> 
> 1. What is the standard justification for this assymetry?

"We don't want to do anything [useful]." (:-))

> What exactly
> makes S'Range "work" in a for loop?

It is hard wired, since ranges are not first class citizens.

> 2. Is it possible to declare the index variable without hardcoding the
> index type (that is, to infer it from the array object)?

No, without improving the type system. E.g. introducing abstract index
types, and abstract range types (or more general sets of index types), and
abstract composite types like arrays.

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