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!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Intervention needed?
Date: Sat, 23 Mar 2019 02:53:32 -0500
Organization: JSA Research & Innovation
Message-ID: <q74olt$hk9$1@franka.jacob-sparre.dk>
References: <b196da6e-4614-42f9-9147-b1708c6e5094@googlegroups.com>
 <c16f6c7d-34d9-4d7e-96e6-9c00e387b2a9@googlegroups.com>
 <q66m95$8ri$1@dont-email.me>
 <a534f338-a418-424e-8043-31c738682807@googlegroups.com>
 <q68mv0$rea$1@dont-email.me>
 <a4ab4f3c-9151-47c7-9d3f-f6a23451fa0e@googlegroups.com>
 <bba8f6a8-36ce-4bed-bd84-8a9ea7dc02f7@googlegroups.com>
 <q699nu$ban$1@franka.jacob-sparre.dk>
 <6e1977a5-701e-4b4f-a937-a1b89d9127f0@googlegroups.com>
 <q6pa1g$3j7$1@franka.jacob-sparre.dk>
 <6f9ea847-2903-48c8-9afc-930201f2765a@googlegroups.com>
 <q6qa4u$kd0$1@gioia.aioe.org>
 <f4eee526-e607-4e1f-843f-9913c9c093f9@googlegroups.com>
 <q6rphu$arn$1@franka.jacob-sparre.dk>
 <de2f5462-fa10-4fdf-97a6-99989e40c697@googlegroups.com>
 <q6rt39$p0u$1@franka.jacob-sparre.dk>
 <74339f3f-9591-45a3-8632-8834b4b466ab@googlegroups.com>
 <q71ghm$ahi$1@franka.jacob-sparre.dk>
 <d7a326d3-8e16-4248-9f39-1e01af61668b@googlegroups.com>
 <5be8a4cc-84de-4716-9f0c-10907f451312@googlegroups.com>
Injection-Date: Sat, 23 Mar 2019 07:53:33 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="18057"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader01.eternal-september.org comp.lang.ada:55936
Date: 2019-03-23T02:53:32-05:00
List-Id: <comp.lang.ada>

"Jere" <jhb.chat@gmail.com> wrote in message 
news:5be8a4cc-84de-4716-9f0c-10907f451312@googlegroups.com...
...
> Not really.  In Rust they don't even use cursors.  They go straight to
> iterators.  On top of that, the combination of being able to specify the
> lifetime of all of your variables (if you need to) and the ownership rules
> gives them 100% safety from dangling references when they create and use
> those iterators.

If you don't store any cursors and just use iterators in Ada, you have the 
same level of safety: the tampering checks prevent any problems with 
iterators. (Well, unless you turn them off, of course, but if you remove the 
seatbelts, you can't much complain that they didn't protect you.)

I'd be interested to find out how Rust deals with the need to designate 
individual elements of a container (which is the primary reason that Ada 
exposes cursors).

                       Randy.