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!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: grassroots thoughts on access types
Date: Sat, 10 Feb 2018 11:07:13 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <p5mg8h$k9a$2@dont-email.me>
References: <5d9134c9-a7d4-468e-8685-ebbb393eabea@googlegroups.com>
 <p5kk5i$5fj$1@dont-email.me> <p5kl6u$12m5$1@gioia.aioe.org>
 <p5krq3$103$1@dont-email.me> <wcck1vlex4t.fsf@TheWorld.com>
 <p5l4nl$4hm$1@dont-email.me> <p5l60c$ol$1@gioia.aioe.org>
 <e6ab5614-74af-41e1-804c-dec1b84b449c@googlegroups.com>
 <13f51bd1-00ef-4d2a-94b9-2d2560b449f3@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 10 Feb 2018 10:07:14 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="a4188113d4920b94d27fa65f32d1ad49";
	logging-data="20778"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/TgdTvib3iPKWFbwe3SauwbLjNBklMkTM="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.6.0
In-Reply-To: <13f51bd1-00ef-4d2a-94b9-2d2560b449f3@googlegroups.com>
Content-Language: en-US
Cancel-Lock: sha1:Zp1BtJMTtdIXIg9F8jo1YAs4gIA=
Xref: reader02.eternal-september.org comp.lang.ada:50361
Date: 2018-02-10T11:07:13+01:00
List-Id: <comp.lang.ada>

On 02/10/2018 02:51 AM, Mehdi Saada wrote:
> To Simon Wright:
> I think I can see what form will be allowed: dynamic allocaton in used-defined pools, using allocation mecanisms are proved whose delay is constant or at least predictible... on specific achitectures. That's what it would take for dynamic allocation to be provable and determinist, I suppose. Is that what you had in mind ?

 From what I've seen, the proposed SPARK pointers are based on something like 
Rust's ownership concept.

-- 
Jeff Carter
"What lazy lout left these wires all over the lawn?"
Poppy
98