From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE,
	XPRIO autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: New aggregates with Ada 2022.
Date: Tue, 28 Jun 2022 23:01:36 -0500
Organization: A noiseless patient Spider
Message-ID: <t9gir4$1bbuh$1@dont-email.me>
References: <t8ml0l$1vo2$1@gioia.aioe.org> <t8qptm$gof$2@dont-email.me> <t8qrmo$p79$1@gioia.aioe.org> <t8tk6i$ue6$1@dont-email.me> <t8ulu9$jca$1@gioia.aioe.org> <t90ebe$nve$1@dont-email.me> <t91buq$10im$1@gioia.aioe.org> <t933oh$o2o$1@dont-email.me> <t93mr6$pvm$1@gioia.aioe.org> <t95uha$edq$1@dont-email.me> <t96i9f$1mc1$1@gioia.aioe.org> <t9d7u5$ogle$1@dont-email.me> <jhviamFe72sU1@mid.individual.net>
Injection-Date: Wed, 29 Jun 2022 04:01:41 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="7f4db9ab6d5e834606da4c4c7cf7249b";
	logging-data="1421265"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+S0jov02FixVc+XHf7ZyaswWtoMWndpM8="
Cancel-Lock: sha1:GHpNaq7DIKvpc46wZuB/p9ihSmc=
X-MSMail-Priority: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
X-Priority: 3
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
Xref: reader01.eternal-september.org comp.lang.ada:64043
List-Id: <comp.lang.ada>

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:jhviamFe72sU1@mid.individual.net...
> On 2022-06-28 0:37, Randy Brukardt wrote:

>> Slices are not an abstraction. They are a way to describe a particular 
>> kind
>> of processor operation in a vaguely abstract way.
>
>The abstraction is the concept of a one-dimensional array (a vector or a 
>sequence).

But there is (or shouldn't be) anything special about a one-dimensional 
array (presuming you intend to allow arrays with more dimensions). And the 
"abstraction" you talk about is selecting a bunch of barely related elements 
from a multi-dimensional array.

...
> Why would you want to have a non-contiguous representation for 
> one-dimensional arrays? Perhaps to make "unbounded" (extensible) arrays?

Exactly. If you don't know how large something will grow to, it's better to 
allocate it in pieces than to copy it each time it grows.

                    Randy.