From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Rust's temporal safety for Ada/SPARK
Date: Sun, 14 May 2017 19:36:57 +0200
Date: 2017-05-14T19:36:57+02:00 [thread overview]
Message-ID: <ofa4dh$15p$1@dont-email.me> (raw)
In-Reply-To: <1c0e2c7c-4fd6-43d1-9848-f03e1a72bcb3@googlegroups.com>
On 05/14/2017 06:46 PM, digitalkevlar@gmail.com wrote:
>
> So, can someone today use Ada in a straight-forward way to write single- or
> multi-threaded applications that are, in every use-case, totally immune at
> compile-time to use-after-free and double-free errors with zero, runtime
> overhead? Or can it not do that?
Of course this is possible. It's very rare for well designed Ada to need access
types. An overwhelming majority of applications can be implemented without ever
writing "access".
--
Jeff Carter
"Friends don't let friends program in C++"
Zalman Stern
114
next prev parent reply other threads:[~2017-05-14 17:36 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 [this message]
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
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