From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Unchecked_Deallocation with tagged types
Date: Fri, 23 Apr 2021 19:49:24 -0500
Organization: JSA Research & Innovation
Message-ID: <s5vpul$ldb$1@franka.jacob-sparre.dk>
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> <s5ndog$p57$1@dont-email.me> <ie8uagFqaf2U1@mid.individual.net>
Injection-Date: Sat, 24 Apr 2021 00:49:26 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226";
	logging-data="21931"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:61901
List-Id: <comp.lang.ada>

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:ie8uagFqaf2U1@mid.individual.net...
> On 2021-04-20 23:32, Jeffrey R. Carter wrote:
>> On 4/20/21 8:53 PM, Randy Brukardt wrote:
>>>
>>> 'Free makes more sense in a new language (an Ada follow-on).
>>
>> Right. I don't think it would be a good idea to add it to Ada.
>>
>> But I think a new language should not have pointers at all.
>>
>> No more radical than not having arrays.
>
> It seems to me that a language without arrays and pointers would be very 
> difficult to use in an embedded, real-time, close-to-HW context. So we 
> would lose the nice wide-spectrum nature of Ada.

It's important that a new language have a way to interface to existing 
hardware and software. So there has to be something that maps to C arrays 
and pointers (and the equivalent for hardware). But that doesn't necessarily 
have to be something that is used outside of interfacing. An Ada example is 
Unchecked_Unions -- they exist for interfacing but shouldn't be used 
otherwise. A fixed vector type and a raw general access type would do the 
trick, but those could be something that are almost never used outside of 
interfacing packages.

                           Randy.