From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Rust's temporal safety for Ada/SPARK
Date: Mon, 15 May 2017 18:23:07 +0200
Date: 2017-05-15T18:23:07+02:00 [thread overview]
Message-ID: <ofckf3$r7b$1@dont-email.me> (raw)
In-Reply-To: <enrr9rFm1kfU1@mid.individual.net>
On 05/14/2017 09:59 PM, Niklas Holsti wrote:
>
> "Well designed" is of course subjective. The container library has made it
> practical to avoid access types in the application code, but then there are
> other potential run-time problems, such as "tampering" with the containers,
> which require run-time checks (and which are to some extent consequences of the
> use of access types within the container library).
I'm pretty sure the "tampering" restrictions in the containers have nothing to
do with possible implementations (which need not even be in Ada), and everything
to do with maintaining the integrity of the structures. They're intended to
ensure that an ordered container doesn't have an element out of order, or a
hashed container, one with a different hash than its bin.
> I find it difficult to agree with that "overwhelming", at least if one includes
> the access types used under the covers in the container library.
There's nothing about using the containers that requires the user to write
"access", so clearly they should not be included.
One might want to use 'access to pass a subprogram as an anonymous
access-to-subprogram parameter of a container operation, but since such things
can't be assigned and can't be freed, they're not really access types, but
rather a strange syntax for limited subprogram types.
--
Jeff Carter
"Strange women lying in ponds distributing swords
is no basis for a system of government."
Monty Python & the Holy Grail
66
next prev parent reply other threads:[~2017-05-15 16:23 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
2017-05-14 22:20 ` Dennis Lee Bieber
2017-05-15 16:23 ` Jeffrey R. Carter [this message]
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