Re: Extend slices for n dimensional arrays for Ada 202X

["Randy Brukardt" <randy@rrsoftware.com>]

"Robert Eachus" <rieachus@comcast.net> wrote in message 
news:fb3687c7-0a40-4f8e-abfc-0438a45d2374@googlegroups.com...
On Thursday, January 26, 2017 at 1:29:07 PM UTC-5, Randy Brukardt wrote:

>> So I don't see this happening - it doesn't make sense in the context of 
>> Ada
>> implementation strategies.

>Randy, I hope you are confused.

I'm not confused. The case in question is a 2-dimensional slice where the 
sliced components are not (necessarily) contiguous. For instance:
    type Matrix_Type is array (Positive range <>, Positive range <>) of ...;
    Matrix : Matrix_Type (1..4, 1..4);
    procedure Proc (M : in out Matrix_Type);

    Proc (Matrix (2..3, 2..3));

The problem is that there can be no copying going on here, so the only way 
to do this is to pass a thunk. Which would necessarily have to be the case 
for any unconstrained multidimensional parameter passing.

Even copying can be an issue, since again the components on both sides can 
be discontiguous and in different ways. Of course a compiler can optimize 
the simple cases, but the general case has to be a loop.

Single dimensional slices are of course completely different, and I wasn't 
talking about them. (Although your advice for copying them is 25 years out 
of date: Intel hardware, at least, automatically makes many of those 
optimizations so there is no value to manually doing them yourself - that 
actually would make your code slower.)

                                   Randy.