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!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Rust's temporal safety for Ada/SPARK
Date: Sun, 14 May 2017 19:36:57 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <ofa4dh$15p$1@dont-email.me>
References: <cf1c1eb7-61cf-4ee5-8837-d4a95f95a4ba@googlegroups.com>
 <1c0e2c7c-4fd6-43d1-9848-f03e1a72bcb3@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 14 May 2017 17:33:37 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="f869d57e82caa05c0daf522d1658e279";
	logging-data="1209"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18gui/MIjQEHOUqfoMeyZN9u6/n5IL4WwQ="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.8.0
In-Reply-To: <1c0e2c7c-4fd6-43d1-9848-f03e1a72bcb3@googlegroups.com>
Cancel-Lock: sha1:pC4GOApWLI6RosJPFWFHoV7qz+s=
Xref: news.eternal-september.org comp.lang.ada:46779
Date: 2017-05-14T19:36:57+02:00
List-Id: <comp.lang.ada>

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