From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: class wide iterable (and indexable)
Date: Wed, 23 Jan 2019 19:00:08 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <q2aa38$hke$1@dont-email.me>
References: <b5c56fdb-94d0-4930-952c-7754ec5dd729@googlegroups.com>
 <lyo98z558g.fsf@pushface.org>
 <2a6929c5-72fa-4d84-953a-44ea4597ab38@googlegroups.com>
 <q0m3u6$t9c$1@franka.jacob-sparre.dk>
 <f62bb15c-ebd2-45f7-b591-796a1957e99a@googlegroups.com>
 <q0n6av$1tqs$1@gioia.aioe.org> <q0psvi$v1q$1@franka.jacob-sparre.dk>
 <q0pvlp$1vp1$1@gioia.aioe.org> <q10f1v$v9r$1@franka.jacob-sparre.dk>
 <q11rqe$dtn$1@gioia.aioe.org> <q13biq$nle$1@franka.jacob-sparre.dk>
 <q159mg$1q6k$1@gioia.aioe.org> <q160mb$863$1@franka.jacob-sparre.dk>
 <q1715k$1fou$1@gioia.aioe.org> <q18g50$86r$1@franka.jacob-sparre.dk>
 <q19mh2$19lu$1@gioia.aioe.org> <q1j489$oo8$1@franka.jacob-sparre.dk>
 <q1k9ep$aku$1@gioia.aioe.org>
 <75328dc5-fc59-4228-b77e-77ba6e5101c3@googlegroups.com>
 <q25jpn$jfu$1@franka.jacob-sparre.dk> <q27if9$b0r$1@dont-email.me>
 <q283tp$6tj$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 23 Jan 2019 18:00:08 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="9a710295b005357564007be648dedd07";
	logging-data="18062"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+lCqi1BFZ9OeiMFJipEBAkXGu75+GKmJ4="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.2.1
Cancel-Lock: sha1:3ve36FvIhnaehuij4IPAdAG7Qt4=
In-Reply-To: <q283tp$6tj$1@franka.jacob-sparre.dk>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:55341
Date: 2019-01-23T19:00:08+01:00
List-Id: <comp.lang.ada>

On 1/22/19 11:02 PM, Randy Brukardt wrote:
> 
> They're not used more often because this fixes the length, and prevents
> operations on items with different lengths. Again, a string is not an
> array -- a Vector is a better model for a string.

I suspect we're talking about 2 different things.

The length is fixed just as it is for all array objects. I'm talking about a way 
to get arrays (current Ada meaning) with a fixed lower bound. Things with a 
variable length are something else altogether.

I used String simply because it was a convenient array type to use in the 
example. This made the example easier to understand because it didn't need an 
extra type definition that is irrelevant to explaining the concept.

I'm not discussing whether this is a useful implementation for strings. (A 
string is a sequence of characters, and one use of an array is sequences, so an 
array may be a suitable implementation for a string. I suspect many of your 
problems with strings are really problems with characters.)

With all that understood (I hope), I can restate my question as: Why do those 
who use arrays, and have difficulty with them having variable lower bounds, not 
use such constructs more often instead? Is it because the value of having 
constant indices across slices outweighs the negatives of variable lower bounds?

-- 
Jeff Carter
"This scene's supposed to be in a saloon, but
the censor cut it out. It'll play just as well
this way." [in a soda fountain]
Never Give a Sucker an Even Break
113