From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Rust's temporal safety for Ada/SPARK
Date: Mon, 15 May 2017 09:27:14 +0200
Date: 2017-05-15T09:27:14+02:00 [thread overview]
Message-ID: <ofbl8h$pen$1@gioia.aioe.org> (raw)
In-Reply-To: lyh90ni2yh.fsf@pushface.org
On 14/05/2017 22:43, Simon Wright wrote:
> I don't believe that the tampering checks are mainly, if at all, the
> consequnece of using access types. Suppose you are iterating over an
> ordered map and you change the current element so as to alter its sort
> key? Or, for that matter, any other element? Suppose you delete the
> element you are currently visiting?
That is an argument against iterators. There is little difference
between pointer and iterator.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2017-05-15 7:27 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-05-13 20:33 Rust's temporal safety for Ada/SPARK digitalkevlar
2017-05-13 21:19 ` Jeffrey R. Carter
2017-05-14 10:19 ` Niklas Holsti
2017-05-15 19:07 ` Simon Wright
2017-05-15 19:30 ` Jeffrey R. Carter
2017-05-17 21:21 ` moy
2017-05-14 3:24 ` Robert Eachus
2017-05-14 16:46 ` digitalkevlar
2017-05-14 17:18 ` Dmitry A. Kazakov
2017-05-14 17:36 ` Jeffrey R. Carter
2017-05-14 19:59 ` Niklas Holsti
2017-05-14 20:43 ` Simon Wright
2017-05-15 7:27 ` Dmitry A. Kazakov [this message]
2017-05-14 22:20 ` Dennis Lee Bieber
2017-05-15 16:23 ` Jeffrey R. Carter
2017-05-15 23:19 ` Randy Brukardt
2017-05-16 16:45 ` Shark8
2017-05-16 21:36 ` Randy Brukardt
2017-05-16 23:37 ` Shark8
2017-05-14 21:28 ` moy
2017-05-15 22:59 ` digitalkevlar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox