An optimizing compiler idea

[Victor Porton <porton@narod.ru>]

In this post I ask whether my idea is not new and already implemented. And 
also I suggest to implement it in Ada compilers.

I propose not to store an array bound if it is constant (1 in the example 
below).

This can be used to create container types which could be more efficient 
than plain arrays.

Below is a toy container type giving an example of my idea:

package Test is

   type Test_Array_Type is array(Integer range <>) of Float;
   
   type Test_Record(Size: Integer) is
      record
         Test_Array: Test_Array_Type(1..Size);
      end record;

end;

In this example we can store only one (upper) index of an array. Thus it 
could be faster and more memory efficient than plain array with a range of 
two indexes.

-- 
Victor Porton - http://portonvictor.org