Message-ID:

Presidency: The greased pig in the field game of American politics. -- Ambrose Bierce

devel / comp.lang.ada / Re: Unchecked_Deallocation with tagged types

Re: Unchecked_Deallocation with tagged types

<625a3bb4$0$22256$426a34cc@news.free.fr>

https://www.rocksolidbbs.com/devel/article-flat.php?id=8191&group=comp.lang.ada#8191

Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news.uzoreto.com!npeer.as286.net!npeer-ng0.as286.net!proxad.net!feeder1-1.proxad.net!cleanfeed3-a.proxad.net!nnrp4-1.free.fr!not-for-mail
From: fantome.forums.tDeContes@free.fr.invalid (Thomas)
Newsgroups: comp.lang.ada
Mail-Copies-To: nobody
Subject: Re: Unchecked_Deallocation with tagged types
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> <s5h0o5$1piu$1@gioia.aioe.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
User-Agent: MT-NewsWatcher/3.5.3b3 (Intel Mac OS X)
Date: Sat, 16 Apr 2022 05:44:51 +0200
Lines: 42
Message-ID: <625a3bb4$0$22256$426a34cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 16 Apr 2022 05:44:52 CEST
NNTP-Posting-Host: 91.175.52.121
X-Trace: 1650080692 news-4.free.fr 22256 91.175.52.121:2353
X-Complaints-To: abuse@proxad.net

by: Thomas - Sat, 16 Apr 2022 03:44 UTC

In article <s5h0o5$1piu$1@gioia.aioe.org>,
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:

> On 2021-04-18 11:09, Jeffrey R. Carter wrote:
> > On 4/18/21 10:46 AM, Gautier write-only address wrote:
> >> Side note: did anyone already suggest a new keyword: unchecked_free
> >> and a special statement:
> >>
> >> unchecked_free Some_Pointer;
> >
> > For every access variable P, there could exist the attribute procedure
> >
> > P'Free;
>
> I like the idea of attaching it to a variable rather than to type.

why?

if it had to be made, i would say it could not be less than sth like:
T'Unchecked_Free (P)

>
> -------------
> I remember the claim that originally making it a generic procedure with
> an indigestible name was meant as barrier for lazy programmers.

not only that:
i agree J-P. Rosen (he didn't said exactly that),
it's fine to be able to search for the "Unchecked" keyword, to look at
parts of code with some known risk (afaik):
Ada.Unchecked_Deallocation, Ada.Unchecked_Conversion, Unchecked_Access.

> Plus
> some considerations regarding garbage collection lurked in the subconscious.

could you explain, please ? :-)

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

Re: Unchecked_Deallocation with tagged types

<t3dtj8$t6$1@gioia.aioe.org>

copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=8193&group=comp.lang.ada#8193

copy link Newsgroups: comp.lang.ada

Path: i2pn2.org!i2pn.org!aioe.org!hzzNxxMX5IPvnEV4b74Cww.user.46.165.242.91.POSTED!not-for-mail
From: mailbox@dmitry-kazakov.de (Dmitry A. Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: Unchecked_Deallocation with tagged types
Date: Sat, 16 Apr 2022 10:09:11 +0200
Organization: Aioe.org NNTP Server
Message-ID: <t3dtj8$t6$1@gioia.aioe.org>
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> <s5h0o5$1piu$1@gioia.aioe.org>
<625a3bb4$0$22256$426a34cc@news.free.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="934"; posting-host="hzzNxxMX5IPvnEV4b74Cww.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US

by: Dmitry A. Kazakov - Sat, 16 Apr 2022 08:09 UTC

On 2022-04-16 05:44, Thomas wrote:
> In article <s5h0o5$1piu$1@gioia.aioe.org>,
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
>
>> On 2021-04-18 11:09, Jeffrey R. Carter wrote:
>>> On 4/18/21 10:46 AM, Gautier write-only address wrote:
>>>> Side note: did anyone already suggest a new keyword: unchecked_free
>>>> and a special statement:
>>>>
>>>> unchecked_free Some_Pointer;
>>>
>>> For every access variable P, there could exist the attribute procedure
>>>
>>> P'Free;
>>
>> I like the idea of attaching it to a variable rather than to type.
>
> why?

Because operations apply to objects not to
the types of.

> if it had to be made, i would say it could not be less than sth like:
> T'Unchecked_Free (P)

This does as little sense as T'Image did.

>> I remember the claim that originally making it a generic procedure with
>> an indigestible name was meant as barrier for lazy programmers.
>
> not only that:
> i agree J-P. Rosen (he didn't said exactly that),
> it's fine to be able to search for the "Unchecked" keyword, to look at
> parts of code with some known risk (afaik):
> Ada.Unchecked_Deallocation, Ada.Unchecked_Conversion, Unchecked_Access.

You can search for "Free" as easily.

Furthermore, the way unchecked stuff breaks the program is such that the
actual problem is almost never located at the place where you call
something unchecked. The error is usually triggered in a different place.

>> Plus
>> some considerations regarding garbage collection lurked in the subconscious.
>
> could you explain, please ? :-)

You allocate objects at will and the language per magic wand frees them
for you someway someday. This anything that works in a non-magical way
(read: deterministic, predictable, explicit) is so outrageous that must
be highlighted as "unchecked." (:-))

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Subject	Author
Re: Unchecked_Deallocation with tagged types	Thomas
Re: Unchecked_Deallocation with tagged types	Dmitry A. Kazakov