comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Unchecked_Deallocation with tagged types
Date: Wed, 21 Apr 2021 12:11:07 +0200	[thread overview]
Message-ID: <s5otnp$ii8$1@gioia.aioe.org> (raw)
In-Reply-To: s5oo53$4kt$1@dont-email.me

On 2021-04-21 10:35, Jeffrey R. Carter wrote:
> On 4/20/21 11:10 PM, Niklas Holsti wrote:
>> 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.
> 
> I don't see that pointers are needed for such S/W.

Try to load and bind a relocatable library without pointers.

> Brukardt has recently been discussing the idea that a high-level 
> language such as Ada should not have arrays, which is why I referenced 
> it. Such a language might not be convenient for such systems.
> 
> But the idea is that arrays are a low-level implementation feature that 
> are usually used to implement higher-level abstractions, such as 
> sequences and maps. A language without arrays would have direct support 
> for such abstractions.

That is not enough, even if providing such abstractions were viable. 
Which is not, because they would be far more complex than array 
abstraction and resolve none of the problems array abstraction has. E.g. 
container subtypes constrained to subtypes of elements and/or subtypes 
of keys.

Array is a simplest case of container. If you cannot handle arrays, how 
do you hope to handle maps?

Then see above, and explain how an opaque map will deal with a shared 
memory mapped into the process address space? Or what would be the 
primitive operation Write of Root_Stream_Type?

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

  reply	other threads:[~2021-04-21 10:11 UTC|newest]

Thread overview: 56+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-04-17 21:45 Unchecked_Deallocation with tagged types DrPi
2021-04-17 22:29 ` Rod Kay
2021-04-17 22:36   ` Rod Kay
2021-04-18  9:06     ` DrPi
2021-04-18  9:07     ` Jeffrey R. Carter
2021-04-18  8:21 ` Dmitry A. Kazakov
2021-04-18  8:46   ` Gautier write-only address
2021-04-18  9:09     ` Jeffrey R. Carter
2021-04-18 10:13       ` Dmitry A. Kazakov
2022-04-16  3:44         ` Thomas
2022-04-16  8:09           ` Dmitry A. Kazakov
2021-04-18 10:20       ` J-P. Rosen
2021-04-18 10:34         ` Dmitry A. Kazakov
2021-04-18 15:14           ` J-P. Rosen
2021-04-18 15:23             ` Gautier write-only address
2021-04-18 15:53               ` J-P. Rosen
2021-04-18 16:08                 ` Gautier write-only address
2022-04-16  5:00                   ` Thomas
2021-04-20 18:53               ` Randy Brukardt
2021-04-20 19:35                 ` Dmitry A. Kazakov
2022-04-18  5:51                   ` Thomas
2022-04-18  6:26                     ` Niklas Holsti
2021-04-20 20:32                 ` Jeffrey R. Carter
2021-04-20 21:10                   ` Niklas Holsti
2021-04-21  8:35                     ` Jeffrey R. Carter
2021-04-21 10:11                       ` Dmitry A. Kazakov [this message]
2021-04-24  0:49                     ` Randy Brukardt
2022-04-18  1:51                       ` Thomas
2021-04-18 16:08         ` Jeffrey R. Carter
2021-04-18  9:13   ` DrPi
2021-04-18 10:01     ` Dmitry A. Kazakov
2021-04-18 10:42       ` DrPi
2021-04-18 16:48     ` Jeffrey R. Carter
2021-04-20 15:57       ` Stephen Leake
2021-04-20 17:24         ` Jeffrey R. Carter
2021-04-20 17:34           ` Vincent Marciante
2021-04-20 20:56             ` Jeffrey R. Carter
2021-04-21 10:21               ` Vincent Marciante
2021-04-21 10:28                 ` Vincent Marciante
2021-04-21 12:13                 ` Simon Wright
2021-04-21 13:28                 ` J-P. Rosen
2021-04-22 10:21                   ` Vincent Marciante
2021-04-21 13:42                 ` Jeffrey R. Carter
2021-04-24  1:04                 ` Randy Brukardt
2022-04-12 23:25                   ` use clauses Thomas
2022-04-13  1:05                     ` Randy Brukardt
2022-04-14  2:51                       ` 25.BX944
2022-04-14  6:49                         ` Emmanuel Briot
2022-04-15  5:33                         ` Doctor Who
2022-04-19  3:53                       ` Thomas
2022-04-19  5:59                         ` Randy Brukardt
2021-04-22  8:55           ` Unchecked_Deallocation with tagged types Stephen Leake
2021-04-22 11:16             ` Jeffrey R. Carter
2021-04-22 15:49               ` Vincent Marciante
  -- strict thread matches above, loose matches on Subject: below --
1996-11-22  0:00 Paul Burnim
1996-11-23  0:00 ` Simon Wright
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox