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? :-)

> > So using any form of
> > explicit deallocation would be discouraged (as would the use of raw pointer
> > types).
>
> I do not understand how that could work, it sounds like a halting
> problem to me,

i feel that:

1)
afaik, non-pool-specific access-to-variable types, which should point on
aliased objects, are not dangerous, as long as neither new nor
Unchecked_Deallocation are used.

2)
pool-specific access-to-variable types should mostly look like
Ada.Containers.Indefinite_Holders.
there is missing one for definite limited types,
and i hope it's possible to also make it for indefinite limited types
(if it's not allowed in Ada, it should be planned for an Ada follow-on).

> but anyway, where is a problem? Add a whole new hierarchy
> of access types independent on the existing one.

anyway, we can begin to think about it, and see later what it should
become.
but if Tucker already begun to think about it, i would prefer read him
before develop my own think, to avoid redo what he already did :-)

--
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

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.