From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Implementing Rust's borrow checked pointers
Date: Wed, 25 Sep 2019 18:26:50 +0200
Date: 2019-09-25T18:26:50+02:00 [thread overview]
Message-ID: <87a7ass5o5.fsf@mid.deneb.enyo.de> (raw)
In-Reply-To: qmdfvn$oam$1@dont-email.me
* Jeffrey R. Carter:
> There's already work on including something like Rust's borrow
> checking into Ada, but given how rarely access types are needed, and
> how easy it usually is to confine them to a restricted scope when
> they are, I don't see that it's worth the effort.
On the other hand, access types are not the only source of unsoundness
in Ada. There is at least one other problem, involving records with
discriminants with defaults and aliasing.
prev parent reply other threads:[~2019-09-25 16:26 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-09-24 9:05 Implementing Rust's borrow checked pointers Lucretia
2019-09-24 9:57 ` Dmitry A. Kazakov
2019-09-24 11:23 ` Optikos
2019-09-24 12:02 ` Lucretia
2019-09-24 14:08 ` Optikos
2019-09-24 18:56 ` Simon Wright
2019-09-24 19:13 ` Keith Thompson
2019-09-24 20:15 ` Optikos
2019-09-24 20:31 ` Keith Thompson
2019-09-24 20:40 ` Optikos
2019-09-24 20:53 ` Keith Thompson
2019-09-24 22:09 ` Lucretia
2019-09-24 22:24 ` Keith Thompson
2019-09-25 4:36 ` J-P. Rosen
2019-09-25 15:04 ` Simon Wright
2019-09-24 12:23 ` Lucretia
2019-09-25 17:21 ` Stephen Leake
2019-09-24 16:24 ` Jeffrey R. Carter
2019-09-25 16:26 ` Florian Weimer [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox