From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-2.9 required=3.0 tests=BAYES_00,NICE_REPLY_A
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!news.mixmin.net!news2.arglkargh.de!news.karotte.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Unchecked_Deallocation with tagged types
Date: Mon, 18 Apr 2022 09:26:47 +0300
Organization: Tidorum Ltd
Message-ID: <jc4el8Fi6osU1@mid.individual.net>
References: <607b56f8$0$3721$426a34cc@news.free.fr>
 <s5gq77$110s$1@gioia.aioe.org>
 <07863309-4541-4497-8cec-d88179e634bdn@googlegroups.com>
 <s5gt17$7d0$2@dont-email.me> <s5h167$2f0$1@dont-email.me>
 <s5h1vv$anq$1@gioia.aioe.org> <s5hic3$nab$1@dont-email.me>
 <3d6e49b6-f195-4dc2-bf4b-795f18f2da9dn@googlegroups.com>
 <s5n7va$c83$1@franka.jacob-sparre.dk> <s5naeu$r4c$1@gioia.aioe.org>
 <625cfc61$0$22069$426a34cc@news.free.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net iNt33piqqdTtl1cK0oQ6YwmsZOKQ+ZYPUSxv8UltRisTKzZ8SU
Cancel-Lock: sha1:aAfu9Ia5tC8LMNANN+Z4WyCaLHQ=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:91.0)
 Gecko/20100101 Thunderbird/91.6.2
Content-Language: en-US
In-Reply-To: <625cfc61$0$22069$426a34cc@news.free.fr>
Xref: reader02.eternal-september.org comp.lang.ada:63750
List-Id: <comp.lang.ada>

On 2022-04-18 8:51, Thomas wrote:
> In article <s5naeu$r4c$1@gioia.aioe.org>,
>   "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
> 
>> On 2021-04-20 20:53, Randy Brukardt wrote:
>>
>>> OTOH, an Ada
>>> follow-on would most likely have access types with automatic deallocation as
>>> proposed by Tucker in one of the many AIs on ownership.
> 
> who is Tucker, and where can i read him, please? :-)


He is Tucker Taft, one of the designers and maintainers of the Ada language.

An "AI" is an "Ada Issue", an entry in discussions about Ada features 
and the Ada standard. The AIs are collected in a public, searchable 
database at http://www.ada-auth.org/ais.html.