comp.lang.ada
 help / color / mirror / Atom feed
* Map iteration and modification
@ 2023-12-28 13:53 DrPi
  2023-12-28 13:59 ` DrPi
  0 siblings, 1 reply; 40+ messages in thread
From: DrPi @ 2023-12-28 13:53 UTC (permalink / raw)


Hi,

I need to delete nodes from a Hashed_Map. I don't know which nodes to 
delete in advance. I have to iterate on the Map keys and delete the 
nodes which fulfill a condition.
 From the LRM I understand I can't delete nodes within a loop iterating 
the Map nodes. That makes sense.
What's the recommended way of doing this ?
Iterate the Map and temporarily store the key nodes to be deleted then 
delete the nodes from the key list ?

Nicolas

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-28 13:53 Map iteration and modification DrPi
@ 2023-12-28 13:59 ` DrPi
  2023-12-28 16:06   ` Dmitry A. Kazakov
  2023-12-29  3:08   ` Map iteration and modification Randy Brukardt
  0 siblings, 2 replies; 40+ messages in thread
From: DrPi @ 2023-12-28 13:59 UTC (permalink / raw)


Le 28/12/2023 à 14:53, DrPi a écrit :
> Iterate the Map and temporarily store the key nodes to be deleted then 
> delete the nodes from the key list ?

Not clear. Rephrasing it.
Using 2 steps by iterating the Map and temporarily store the keys of 
nodes to be deleted then delete the Map nodes using the key list ?

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-28 13:59 ` DrPi
@ 2023-12-28 16:06   ` Dmitry A. Kazakov
  2023-12-28 17:57     ` DrPi
  2023-12-29  3:20     ` Randy Brukardt
  2023-12-29  3:08   ` Map iteration and modification Randy Brukardt
  1 sibling, 2 replies; 40+ messages in thread
From: Dmitry A. Kazakov @ 2023-12-28 16:06 UTC (permalink / raw)


On 2023-12-28 14:59, DrPi wrote:
> Le 28/12/2023 à 14:53, DrPi a écrit :
>> Iterate the Map and temporarily store the key nodes to be deleted then 
>> delete the nodes from the key list ?
> 
> Not clear. Rephrasing it.
> Using 2 steps by iterating the Map and temporarily store the keys of 
> nodes to be deleted then delete the Map nodes using the key list ?

[Disclaimer. I am not talking about the standard library]

Provided a sane implementation of map.

1. It is safe to loop over the map items in the *reverse* order of, 
deleting whatever items.

2. It is safe to walk whatever set of map keys, deleting items of the map.

In both cases #1 positions, #2 keys are invariant to the operation of 
deletion.

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

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-28 16:06   ` Dmitry A. Kazakov
@ 2023-12-28 17:57     ` DrPi
  2023-12-29  3:20     ` Randy Brukardt
  1 sibling, 0 replies; 40+ messages in thread
From: DrPi @ 2023-12-28 17:57 UTC (permalink / raw)


Le 28/12/2023 à 17:06, Dmitry A. Kazakov a écrit :
> On 2023-12-28 14:59, DrPi wrote:
>> Le 28/12/2023 à 14:53, DrPi a écrit :
>>> Iterate the Map and temporarily store the key nodes to be deleted 
>>> then delete the nodes from the key list ?
>>
>> Not clear. Rephrasing it.
>> Using 2 steps by iterating the Map and temporarily store the keys of 
>> nodes to be deleted then delete the Map nodes using the key list ?
> 
> [Disclaimer. I am not talking about the standard library]

I'm using the standard library ;)

> 
> Provided a sane implementation of map.
> 
> 1. It is safe to loop over the map items in the *reverse* order of, 
> deleting whatever items.
> 
> 2. It is safe to walk whatever set of map keys, deleting items of the map.
> 
> In both cases #1 positions, #2 keys are invariant to the operation of 
> deletion.
> 

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-28 13:59 ` DrPi
  2023-12-28 16:06   ` Dmitry A. Kazakov
@ 2023-12-29  3:08   ` Randy Brukardt
  2023-12-29 13:53     ` DrPi
  1 sibling, 1 reply; 40+ messages in thread
From: Randy Brukardt @ 2023-12-29  3:08 UTC (permalink / raw)


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1354 bytes --]

"DrPi" <314@drpi.fr> wrote in message 
news:umjuvc$9sp$2@rasp.pasdenom.info...
> Le 28/12/2023 à 14:53, DrPi a écrit :
>> Iterate the Map and temporarily store the key nodes to be deleted then 
>> delete the nodes from the key list ?
>
> Not clear. Rephrasing it.
> Using 2 steps by iterating the Map and temporarily store the keys of nodes 
> to be deleted then delete the Map nodes using the key list ?

If the keys are messy to save (as say with type String), it might be easier 
to save the cursor(s) of the nodes to delete. You would probably want to use 
a cursor iterator (that is, "in") to get the cursors. Code would be 
something like (declarations of the Map and List not shown, nor is the 
function Need_to_Delete which is obviously application specific, Save_List 
is a list of cursors for My_Map, everything else is standard, not checked 
for syntax errors):

    Save_List.Empty; -- Clear list of saved cursors.
    -- Find the nodes of My_Map that we don't need.
    for C in My_Map.Iterate loop
       if Need_to_Delete (My_Map.Element(C)) then
            Save_List.Append (C);
       -- else no need to do anything.
      end if;
   end loop;
   -- Delete the cursors of the nodes we don't want anymore.
   for C of Save_List loop
       My_Map.Delete(C);
   end loop;



                    Randy.


^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-28 16:06   ` Dmitry A. Kazakov
  2023-12-28 17:57     ` DrPi
@ 2023-12-29  3:20     ` Randy Brukardt
  2023-12-29  9:51       ` Dmitry A. Kazakov
  1 sibling, 1 reply; 40+ messages in thread
From: Randy Brukardt @ 2023-12-29  3:20 UTC (permalink / raw)


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:umk6ds$e9hc$1@dont-email.me...
...
> Provided a sane implementation of map.
>
> 1. It is safe to loop over the map items in the *reverse* order of, 
> deleting whatever items.

A sane implementation of a map does not have/require an ordering of keys. So 
the idea of "reverse" or "forward" does not make sense for a general map. 
(There are, of course, special cases where the keys have an order that 
matters to the map; the standard ordered map is like that.) Assuming an 
ordering is exposing the implementation unnecessarily.

You always complain about mixing implementation with interface, but you are 
clearly doing that here. That technique really only works if the data 
structure is implemented with an underlying array. If you have separately 
allocated nodes, deletion might completely destroy a node that the iterator 
is holding onto. Avoiding that takes significant efforts that sap 
performance when you don't intend to modify the container you're iterating 
(which is the usual case).

My longstanding objection to the entire concept of arrays is that they are 
not a data structure, but rather a building block for making data 
structures. One wants indexed sequences sometimes, cheap maps othertimes, 
but arrays have all of the operations needed for both, along with other 
capabilities not really related to data structures at all. It's way better 
to declare what you need and get no more (visibly, at least). That makes it 
way easier to swap implementations if that becomes necessary - you're not 
stuck with a large array that really should be managed piecemeal.

                   Randy.


^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-29  3:20     ` Randy Brukardt
@ 2023-12-29  9:51       ` Dmitry A. Kazakov
  2023-12-29 15:03         ` G.B.
  2023-12-30  7:21         ` Randy Brukardt
  0 siblings, 2 replies; 40+ messages in thread
From: Dmitry A. Kazakov @ 2023-12-29  9:51 UTC (permalink / raw)


On 2023-12-29 04:20, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:umk6ds$e9hc$1@dont-email.me...
> ...
>> Provided a sane implementation of map.
>>
>> 1. It is safe to loop over the map items in the *reverse* order of,
>> deleting whatever items.
> 
> A sane implementation of a map does not have/require an ordering of keys.

Yes, but iterating a map requires ordering regardless properties of the 
keys.

> So
> the idea of "reverse" or "forward" does not make sense for a general map.
> (There are, of course, special cases where the keys have an order that
> matters to the map; the standard ordered map is like that.) Assuming an
> ordering is exposing the implementation unnecessarily.

It always does sense *IF* enumeration (needed for iteration) is 
provided. Enumeration of pairs (<key>, <value>) is not same as ordering 
values by the keys.

> You always complain about mixing implementation with interface, but you are
> clearly doing that here. That technique really only works if the data
> structure is implemented with an underlying array. If you have separately
> allocated nodes, deletion might completely destroy a node that the iterator
> is holding onto. Avoiding that takes significant efforts that sap
> performance when you don't intend to modify the container you're iterating
> (which is the usual case).

No. First, it is two different interfaces. A view of a map as:

1. An ordered set of pairs (<key>, <value>)

2. A mapping <key> -> <value>

Second, the point is that both are array interfaces. The first has 
position as the index, the second has the key as the index.

Both are invariant to removal a pair and any *sane* implementation must 
be OK with that.

The problem is not whether you allocate pairs individually or not. The 
insanity begins with things unrelated to the map:

1. OOP iterator object.

2. FP iteration function.

Both are bad ideas imposed by poor programming paradigms on 
implementation of a clear mathematical concept. That comes with 
constraints, assumptions and limitation array interface do not have.

    for Index in reverse Map'Range loop
       Map.Delete (Index);
    end loop;

would always work. OOP/FP anti-patterns, who knows?

> My longstanding objection to the entire concept of arrays is that they are
> not a data structure, but rather a building block for making data
> structures.

Arrays have interface and implementation. The array interface is a 
mapping key -> value, the most fundamental thing in programming. An 
array implementation as a contiguous block of values indexed by a linear 
function is a basic data structure that supports the interface.

> One wants indexed sequences sometimes, cheap maps othertimes,
> but arrays have all of the operations needed for both, along with other
> capabilities not really related to data structures at all.

Let me help (:-))

    One wants array interface without a built-in array implementation.

> It's way better
> to declare what you need and get no more (visibly, at least). That makes it
> way easier to swap implementations if that becomes necessary - you're not
> stuck with a large array that really should be managed piecemeal.

Sure. The problem with Ada is that it does not separate array interface 
from its built-in array implementation and does not separate record 
interface and implementation either.

Both are mappings. BTW in many cases people could prefer record 
interface of a map to array interface:

    Map.Key

instead of

    Map (Key)

Now, tell me that you have a longstanding objection to the entire 
concept of records... (:-))

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

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-29  3:08   ` Map iteration and modification Randy Brukardt
@ 2023-12-29 13:53     ` DrPi
  2023-12-30  6:29       ` Randy Brukardt
  0 siblings, 1 reply; 40+ messages in thread
From: DrPi @ 2023-12-29 13:53 UTC (permalink / raw)


Le 29/12/2023 à 04:08, Randy Brukardt a écrit :
> "DrPi" <314@drpi.fr> wrote in message
> news:umjuvc$9sp$2@rasp.pasdenom.info...
>> Le 28/12/2023 à 14:53, DrPi a écrit :
>>> Iterate the Map and temporarily store the key nodes to be deleted then
>>> delete the nodes from the key list ?
>>
>> Not clear. Rephrasing it.
>> Using 2 steps by iterating the Map and temporarily store the keys of nodes
>> to be deleted then delete the Map nodes using the key list ?
> 
> If the keys are messy to save (as say with type String), it might be easier
> to save the cursor(s) of the nodes to delete. You would probably want to use
> a cursor iterator (that is, "in") to get the cursors. Code would be
> something like (declarations of the Map and List not shown, nor is the
> function Need_to_Delete which is obviously application specific, Save_List
> is a list of cursors for My_Map, everything else is standard, not checked
> for syntax errors):
> 
>      Save_List.Empty; -- Clear list of saved cursors.
>      -- Find the nodes of My_Map that we don't need.
>      for C in My_Map.Iterate loop
>         if Need_to_Delete (My_Map.Element(C)) then
>              Save_List.Append (C);
>         -- else no need to do anything.
>        end if;
>     end loop;
>     -- Delete the cursors of the nodes we don't want anymore.
>     for C of Save_List loop
>         My_Map.Delete(C);
>     end loop;
> 
> 
That's what I did but I saved the keys (String) instead of the cursors. 
Does it make a difference ? Performance maybe ?

Nicolas
> 
>                      Randy.
> 
> 

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-29  9:51       ` Dmitry A. Kazakov
@ 2023-12-29 15:03         ` G.B.
  2023-12-29 16:52           ` Dmitry A. Kazakov
  2023-12-30  7:21         ` Randy Brukardt
  1 sibling, 1 reply; 40+ messages in thread
From: G.B. @ 2023-12-29 15:03 UTC (permalink / raw)


On 29.12.23 10:51, Dmitry A. Kazakov wrote:
> On 2023-12-29 04:20, Randy Brukardt wrote:
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> news:umk6ds$e9hc$1@dont-email.me...
>> ...
>>> Provided a sane implementation of map.
>>>
>>> 1. It is safe to loop over the map items in the *reverse* order of,
>>> deleting whatever items.
>>
>> A sane implementation of a map does not have/require an ordering of keys.
> 
> Yes, but iterating a map requires ordering regardless properties of the keys.

Suppose that there is a way of orderly proceeding from one item to the next.
It is probably known to the implementation of map. Do single steps
guarantee transitivity, though, so that an algorithm can assume the
order to be invariable?

At the start of the algorithm, the assumption of order of items implies
an ordered sequence of all the keys. Someone might want to use this known
order for a cache of "index values". It might be the implementation
that does so.

Now some item is removed. The cache is no longer valid...

Insane? Or just tampering? (Randy Brukardt's example demonstrates
the mitigation using Cursor, I think.)


Maybe the bulk operations of some DBMS' programming
interfaces work just like this, for practical reasons.
Ada 202x' Ordered_Maps might want to add a feature ;-)

      procedure Delete (Container : in out Map;
                        From      : in out Cursor;
                        To        : in out Cursor);


^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-29 15:03         ` G.B.
@ 2023-12-29 16:52           ` Dmitry A. Kazakov
  2024-01-01 19:27             ` G.B.
  0 siblings, 1 reply; 40+ messages in thread
From: Dmitry A. Kazakov @ 2023-12-29 16:52 UTC (permalink / raw)


On 2023-12-29 16:03, G.B. wrote:
> On 29.12.23 10:51, Dmitry A. Kazakov wrote:
>> On 2023-12-29 04:20, Randy Brukardt wrote:
>>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>>> news:umk6ds$e9hc$1@dont-email.me...
>>> ...
>>>> Provided a sane implementation of map.
>>>>
>>>> 1. It is safe to loop over the map items in the *reverse* order of,
>>>> deleting whatever items.
>>>
>>> A sane implementation of a map does not have/require an ordering of 
>>> keys.
>>
>> Yes, but iterating a map requires ordering regardless properties of 
>> the keys.
> 
> Suppose that there is a way of orderly proceeding from one item to the 
> next.
> It is probably known to the implementation of map. Do single steps
> guarantee transitivity, though, so that an algorithm can assume the
> order to be invariable?

An insane implementation can expose random orders each time.

> At the start of the algorithm, the assumption of order of items implies
> an ordered sequence of all the keys.

You do not need ordered keys to enumerate pairs. For example, consider a 
2D array. As a map it has keys (row, column) which are unordered.

> Someone might want to use this known
> order for a cache of "index values". It might be the implementation
> that does so.

If not exposed through an interface the order cannot be known. The 
question is whether there must be such interface or not. In my view a 
good container library must provide position->pair interface, no OOP's 
cursors/iterators and no functional stuff like Foreach.

> Insane? Or just tampering? (Randy Brukardt's example demonstrates
> the mitigation using Cursor, I think.)

Unless removing element invalidates all cursors. Look, insanity has no 
bounds. Cursors AKA pointers are as volatile as positions in certain 
implementations. Consider a garbage collector running after removing a 
pair and shuffling remaining pairs in memory.

> Maybe the bulk operations of some DBMS' programming
> interfaces work just like this, for practical reasons.
> Ada 202x' Ordered_Maps might want to add a feature ;-)
> 
>       procedure Delete (Container : in out Map;
>                         From      : in out Cursor;
>                         To        : in out Cursor);

Here you assume that cursors are ordered and the order is preserved from 
call to call. Even if From and To are stable the range From..To can 
include random pairs in between.

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

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-29 13:53     ` DrPi
@ 2023-12-30  6:29       ` Randy Brukardt
  2023-12-31 13:56         ` DrPi
  0 siblings, 1 reply; 40+ messages in thread
From: Randy Brukardt @ 2023-12-30  6:29 UTC (permalink / raw)


"DrPi" <314@drpi.fr> wrote in message 
news:ummj1i$e64$1@rasp.pasdenom.info...
... (Example eliminated)

> That's what I did but I saved the keys (String) instead of the cursors. 
> Does it make a difference ? Performance maybe ?

It certainly will make a performance difference; whether that difference is 
significant of course depends on the implementation. There's two parts to it 
(one of which I thought of yesterday and the other which I forgot):
   (1) The cost of storing keys vs. storing cursors. Cursors are going to be 
implemented as small record types (cannonically, they are two pointers, one 
to the enclosing container and one to the specific node/element). A key can 
be most anything, and storing that can be more costly.
   (2) The cost of looking up a key. A map is a set of nodes, and there 
needs to be some operation to associate a key with the correct node. Those 
operations take some time, of course: for a hashed map, the key has to be 
hashed and then some sort of lookup performed. Whereas a cursor generally 
contains an indication of the node, so the access is more direct.

For a lot of applications, this difference won't matter enough to be 
significant. But I'd probably lean toward using cursors for this sort of job 
as that would minimize performance problems down the line. (Of course, if 
the container gets modified after you save the cursors, then they could 
become dangling, which is a problem of it's own. If that's a possibility, 
saving the keys is better.)

               Randy.




^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-29  9:51       ` Dmitry A. Kazakov
  2023-12-29 15:03         ` G.B.
@ 2023-12-30  7:21         ` Randy Brukardt
  2023-12-30 11:07           ` Dmitry A. Kazakov
  1 sibling, 1 reply; 40+ messages in thread
From: Randy Brukardt @ 2023-12-30  7:21 UTC (permalink / raw)


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:umm4r5$ppag$1@dont-email.me...
> On 2023-12-29 04:20, Randy Brukardt wrote:
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> news:umk6ds$e9hc$1@dont-email.me...
>> ...
>>> Provided a sane implementation of map.
>>>
>>> 1. It is safe to loop over the map items in the *reverse* order of,
>>> deleting whatever items.
>>
>> A sane implementation of a map does not have/require an ordering of keys.
>
> Yes, but iterating a map requires ordering regardless properties of the 
> keys.

Only as far as there is an order implied by the order that things are 
returned. That order doesn't have any meaning, and certainly there isn't any 
such thing as "forward" or "reverse" to it. (Which was the original claim, 
after all.) There is no "natural" order to the key/element pairs; they are 
effectively unordered.

...

>> So
>> the idea of "reverse" or "forward" does not make sense for a general map.
>> (There are, of course, special cases where the keys have an order that
>> matters to the map; the standard ordered map is like that.) Assuming an
>> ordering is exposing the implementation unnecessarily.
>
> It always does sense *IF* enumeration (needed for iteration) is provided. 
> Enumeration of pairs (<key>, <value>) is not same as ordering values by 
> the keys.

True, but it doesn't imply any particular ordering. Certainly, no concept of 
"forward" or "reverse" applies to such an ordering (nor any stability 
requirement). Practically, you'll get the same order each time if the 
container isn't modified, but if it is, all bets are off. (If the container 
is changed by element addition or deletion, the index may get rebuilt [hash 
table reconstructed if too full, tree-index rebalanced, etc.] and that can 
change the iteration order dramatically.)

...
> No. First, it is two different interfaces. A view of a map as:
>
> 1. An ordered set of pairs (<key>, <value>)

This is not a map (in general). There is an *unordered* set of pairs. You 
can retrieve them all, but the order that is done is meaningless and is an 
artifact of the implementation. There's a reason that maps don't have 
reverse iterators.

> 2. A mapping <key> -> <value>
>
> Second, the point is that both are array interfaces. The first has 
> position as the index, the second has the key as the index.

"Position" is not a property of an (abstract) map. That's my complaint about 
looking at everything as an array -- one starts thinking in terms of 
properties that things don't have (or need).

> Both are invariant to removal a pair and any *sane* implementation must be 
> OK with that.

The only sort of position that you could possibility talk about for a map is 
the ordinal order that an iterator returns key/element pairs. But that 
necessarily changes when you insert/delete a pair, as that pair will occur 
at some (unspecified) point in the ordinal order. Otherwise, you won't have 
the performance expected for key lookup in a map.

> The problem is not whether you allocate pairs individually or not. The 
> insanity begins with things unrelated to the map:
>
> 1. OOP iterator object.
>
> 2. FP iteration function.
>
> Both are bad ideas imposed by poor programming paradigms on implementation 
> of a clear mathematical concept. That comes with constraints, assumptions 
> and limitation array interface do not have.

??? Abstractions are "poor ideas"? You have some problem with an iterator 
interface as opposed to an array interface?? That make no sense at all given 
your other positions.

>    for Index in reverse Map'Range loop
>       Map.Delete (Index);
>    end loop;
>
> would always work.

It only works if you think of Map'Range as an iterator object. Otherwise, 
you would have to impose an extra "position" interface on the map (or other 
container), and at a substantial additional cost in time/space. Containers 
in general don't have "positions", elements are unordered unless the 
container imposes one.



...
> Arrays have interface and implementation. The array interface is a mapping 
> key -> value, the most fundamental thing in programming.

That's only part of it. It also includes the idea of "position", including 
calculated positions, the operations of concatenation and slicing, and (for 
Ada at least) ordering operations. If the array interface was *only* a 
mapping I would not object to it. Maps do not have a natural order, and 
nothing should be depending on such order. There is no meaning to the third 
pair in a map.

> An array implementation as a contiguous block of values indexed by a 
> linear function is a basic data structure that supports the interface.

Right: the much more complex interface I note above. And that's the problem. 
You don't even seem to realize all of the unnecessary baggage that arrays 
carry with them.

...
> Sure. The problem with Ada is that it does not separate array interface 
> from its built-in array implementation and does not separate record 
> interface and implementation either.

Not arguing this. (Other than this is way down the list of problems with 
Ada, there are many that are worse.)

...
> Now, tell me that you have a longstanding objection to the entire concept 
> of records... (:-))

Nope. There has to be a hetrogenous grouping of values, and records do it as 
well as anything else. I do agree that more abstraction would be nice.

The problem with arrays is that the mapping part is tied to many other 
supposedly fundamental capabilities that aren't fundamental at all. Even 
intellegent people such as yourself have been using arrays so long and so 
primitively that you've gotten blinded to the fact that basic data 
structures really have only a handful of operations, and the majority of the 
"fundamental" capabilities aren't needed much of the time and certainly 
should only be provided when needed.

             Randy.



^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-30  7:21         ` Randy Brukardt
@ 2023-12-30 11:07           ` Dmitry A. Kazakov
  2024-01-03  3:15             ` Randy Brukardt
  0 siblings, 1 reply; 40+ messages in thread
From: Dmitry A. Kazakov @ 2023-12-30 11:07 UTC (permalink / raw)


On 2023-12-30 08:21, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:umm4r5$ppag$1@dont-email.me...
>> On 2023-12-29 04:20, Randy Brukardt wrote:
>>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>>> news:umk6ds$e9hc$1@dont-email.me...
>>> ...
>>>> Provided a sane implementation of map.
>>>>
>>>> 1. It is safe to loop over the map items in the *reverse* order of,
>>>> deleting whatever items.
>>>
>>> A sane implementation of a map does not have/require an ordering of keys.
>>
>> Yes, but iterating a map requires ordering regardless properties of the
>> keys.
> 
> Only as far as there is an order implied by the order that things are
> returned. That order doesn't have any meaning, and certainly there isn't any
> such thing as "forward" or "reverse" to it. (Which was the original claim,
> after all.) There is no "natural" order to the key/element pairs; they are
> effectively unordered.

Iteration = order. It is the same thing. If you provide iteration of 
pairs in the mapping by doing so you provide an order of.

>> It always does sense *IF* enumeration (needed for iteration) is provided.
>> Enumeration of pairs (<key>, <value>) is not same as ordering values by
>> the keys.
> 
> True, but it doesn't imply any particular ordering. Certainly, no concept of
> "forward" or "reverse" applies to such an ordering (nor any stability
> requirement).

It does. You have a strict total order of pairs which guarantees 
existence of previous and next pairs according to.

> Practically, you'll get the same order each time if the
> container isn't modified, but if it is, all bets are off. (If the container
> is changed by element addition or deletion, the index may get rebuilt [hash
> table reconstructed if too full, tree-index rebalanced, etc.] and that can
> change the iteration order dramatically.)

True, an operation may invalidate whatever invariants. It applies 
equally to any orders, any cursors and pointers, any hidden states of 
pending foreach operations. Sanity means which invariants the 
implementation keeps.

I would argue that for general-case containers keeping 
iterators/pointers and hidden states would be far more difficult than 
keeping an order.

>> No. First, it is two different interfaces. A view of a map as:
>>
>> 1. An ordered set of pairs (<key>, <value>)
> 
> This is not a map (in general). There is an *unordered* set of pairs. You
> can retrieve them all, but the order that is done is meaningless and is an
> artifact of the implementation. There's a reason that maps don't have
> reverse iterators.

Unless you provide iteration of the map. Most applications want 
iteratable maps. Then a finite maps is still iteratable regardless best 
efforts, though by crude means. E.g. once have an array (ordered set) of 
keys, you are done.

>> 2. A mapping <key> -> <value>
>>
>> Second, the point is that both are array interfaces. The first has
>> position as the index, the second has the key as the index.
> 
> "Position" is not a property of an (abstract) map. That's my complaint about
> looking at everything as an array -- one starts thinking in terms of
> properties that things don't have (or need).

Yes position is a property of enumeration.

>> Both are invariant to removal a pair and any *sane* implementation must be
>> OK with that.
> 
> The only sort of position that you could possibility talk about for a map is
> the ordinal order that an iterator returns key/element pairs.

It is the reverse. Iterators is secondary to the order. Iterator walks 
pairs in the order of pairs = in the order their positions.

> But that
> necessarily changes when you insert/delete a pair, as that pair will occur
> at some (unspecified) point in the ordinal order. Otherwise, you won't have
> the performance expected for key lookup in a map.

If you provide a random order, then yes. This is what an "insane" 
implementation would do. A "sane" implementation would deploy orders 
with reasonable properties. E.g. an obvious: k1/=k2/=k3 then (k1,v1) < 
(k2,v2) is preserved when (k3,v3) is added or removed.

>> The problem is not whether you allocate pairs individually or not. The
>> insanity begins with things unrelated to the map:
>>
>> 1. OOP iterator object.
>>
>> 2. FP iteration function.
>>
>> Both are bad ideas imposed by poor programming paradigms on implementation
>> of a clear mathematical concept. That comes with constraints, assumptions
>> and limitation array interface do not have.
> 
> ??? Abstractions are "poor ideas"?

Neither is an abstraction [as they are not entities of the problem 
space, but programming techniques artifacts, [anti-]patterns]. Iterator 
is an object of an unrelated type. Foreach is a stateful operation 
unrelated to the pure map interface.

> You have some problem with an iterator
> interface as opposed to an array interface??

Yes, I am against pointers (referential semantics) in general. BTW, Ada 
should have abstract pointer interface allowing the programmer to 
implement iterators = fat pointers.

[ It would be fun with the pure unordered maps you suggested, the 
implementation of the pointer (iterator) would keep an array or an 
ordered set of keys... (:-)) ]

>>     for Index in reverse Map'Range loop
>>        Map.Delete (Index);
>>     end loop;
>>
>> would always work.
> 
> It only works if you think of Map'Range as an iterator object. Otherwise,
> you would have to impose an extra "position" interface on the map (or other
> container), and at a substantial additional cost in time/space. Containers
> in general don't have "positions", elements are unordered unless the
> container imposes one.

Yes, I would impose positions in all general case containers.

Specialized very large containers where an implementation without 
cashing would become O(log n) rather than O(1) deploy other means of 
traversal anyway.

>> Arrays have interface and implementation. The array interface is a mapping
>> key -> value, the most fundamental thing in programming.
> 
> That's only part of it. It also includes the idea of "position",

Yes. Position in array is a mapping key/index <-> Natural.

> including calculated positions,

Yes. Natural numbers have numeric operations.

> the operations of concatenation and slicing,

That depends, but like with maps, it is expected. Maps as containers are 
expected to provide "concatenations" of pairs (set-theoretic union) and 
slicing (submaps). Because mathematically maps are sets of pairs and 
sets can be manipulated in many ways. Ordering does not add much to the 
interface.

> and (for
> Ada at least) ordering operations. If the array interface was *only* a
> mapping I would not object to it. Maps do not have a natural order, and
> nothing should be depending on such order. There is no meaning to the third
> pair in a map.

Yes, but those are not iteratable. We are talking about maps one can 
iterate. That requires an order. The question is only about the forms of 
exposure of that order in the interface. My objection is that iterators 
and foreach are poor forms.

>> An array implementation as a contiguous block of values indexed by a
>> linear function is a basic data structure that supports the interface.
> 
> Right: the much more complex interface I note above. And that's the problem.
> You don't even seem to realize all of the unnecessary baggage that arrays
> carry with them.

I don't see anything that is not already there. What are reasons for not 
providing:

    M (n)       [ e.g. M (n).Key, M (n).Value ]
    M (n1..n2)  [ in mutable contexts too ]
    M'First
    M'Last
    M1 & M2     [ M1 or M2 ]

They are all well-defined and useful operations.

> The problem with arrays is that the mapping part is tied to many other
> supposedly fundamental capabilities that aren't fundamental at all.

I disagree in the case of 1D arrays. There is of course interesting 
issues with nD arrays but that is where multiple inheritance kicks in, 
because in mathematics you can have "continuations" of concepts in more 
than one direction. So 1D array might be both an nD array and something 
else too.

> Even
> intellegent people such as yourself have been using arrays so long and so
> primitively that you've gotten blinded to the fact that basic data
> structures really have only a handful of operations, and the majority of the
> "fundamental" capabilities aren't needed much of the time and certainly
> should only be provided when needed.

That is true. But again, it is solved by inheritance already. You can 
have an unordered map interface separately inherited by a general-case 
map. You can split interfaces to refine what operations they include 
from the implementation constraints point of view. So you can have a 
very flexible mesh of implementations sharing some interfaces, but not 
others. The best example is, of course, various types strings.

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

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-30  6:29       ` Randy Brukardt
@ 2023-12-31 13:56         ` DrPi
  0 siblings, 0 replies; 40+ messages in thread
From: DrPi @ 2023-12-31 13:56 UTC (permalink / raw)


Le 30/12/2023 à 07:29, Randy Brukardt a écrit :
> "DrPi" <314@drpi.fr> wrote in message
> news:ummj1i$e64$1@rasp.pasdenom.info...
> ... (Example eliminated)
> 
>> That's what I did but I saved the keys (String) instead of the cursors.
>> Does it make a difference ? Performance maybe ?
> 
> It certainly will make a performance difference; whether that difference is
> significant of course depends on the implementation. There's two parts to it
> (one of which I thought of yesterday and the other which I forgot):
>     (1) The cost of storing keys vs. storing cursors. Cursors are going to be
> implemented as small record types (cannonically, they are two pointers, one
> to the enclosing container and one to the specific node/element). A key can
> be most anything, and storing that can be more costly.
>     (2) The cost of looking up a key. A map is a set of nodes, and there
> needs to be some operation to associate a key with the correct node. Those
> operations take some time, of course: for a hashed map, the key has to be
> hashed and then some sort of lookup performed. Whereas a cursor generally
> contains an indication of the node, so the access is more direct.
> 
> For a lot of applications, this difference won't matter enough to be
> significant. But I'd probably lean toward using cursors for this sort of job
> as that would minimize performance problems down the line. (Of course, if
> the container gets modified after you save the cursors, then they could
> become dangling, which is a problem of it's own. If that's a possibility,
> saving the keys is better.)
> 
I modified my code to use cursors.
Thanks for your help.

Nicolas

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-29 16:52           ` Dmitry A. Kazakov
@ 2024-01-01 19:27             ` G.B.
  2024-01-01 20:55               ` Dmitry A. Kazakov
  0 siblings, 1 reply; 40+ messages in thread
From: G.B. @ 2024-01-01 19:27 UTC (permalink / raw)


On 29.12.23 17:52, Dmitry A. Kazakov wrote:

>> Suppose that there is a way of orderly proceeding from one item to the next.
>> It is probably known to the implementation of map. Do single steps
>> guarantee transitivity, though, so that an algorithm can assume the
>> order to be invariable?
> 
> An insane implementation can expose random orders each time.

An implementation order should then not be exposed, right?
What portable benefits would there be when another interface
is added to that of map, i.e., to Ada containers for general use?
Would it not be possible to get these benefits using a different
approach? I think the use case is clearly stated:

First, find Cursors in map =: C*.
Right after that, Delete from map all nodes referred to by C*.


> Unless removing element invalidates all cursors. Look, insanity has no bounds. Cursors AKA pointers are as volatile as positions in certain implementations. Consider a garbage collector running after removing a pair and shuffling remaining pairs in memory.
> 
>> Maybe the bulk operations of some DBMS' programming
>> interfaces work just like this, for practical reasons.
>> Ada 202x' Ordered_Maps might want to add a feature ;-)
>>
>>       procedure Delete (Container : in out Map;
>>                         From      : in out Cursor;
>>                         To        : in out Cursor);
> 
> Here you assume that cursors are ordered and the order is preserved from call to call. Even if From and To are stable the range From..To can include random pairs in between.

Yes, given the descriptions of Ordered_Maps, so long as there is no
tampering, a Cursor will respect an order. Likely the one that the
programmer has in mind.

For deleting, this thread has shown a loop that calls Delete
multiple times right after collecting the cursors.
And it is boilerplate text.  Could Maps be improved for this use case?

[Bulk deletion] We do get bulk insertion in containers.  Also,
A.18.2 already has bulk Delete operations.  Similarly,
the Strings packages have them.
  
[No thread safety needed] If standard Ada maps are usually operated
by just one task, stability of Cursors is predictable.

Then, with or without automatic management of storage,
when My_Map is from an instance of Ordered_Map,

    Start  := In_13th_Floor (My_Map.Ceiling (13.0));
    Finish := In_13th_Floor (My_Map.Floor (Fxd'Pred (14.0)));
    My_Map.Delete (
       From    => Start,
       Through => Finish);

where
    function In_13th_Floor (C : Cursor) return Cursor
    --  C, if the key at C is in [13.0, 14.0), No_Element otherwise

should therefore do the right thing, in that nothing
is left to chance.

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-01 19:27             ` G.B.
@ 2024-01-01 20:55               ` Dmitry A. Kazakov
  2024-01-02 16:40                 ` G.B.
  2024-01-03  3:22                 ` Randy Brukardt
  0 siblings, 2 replies; 40+ messages in thread
From: Dmitry A. Kazakov @ 2024-01-01 20:55 UTC (permalink / raw)


On 2024-01-01 20:27, G.B. wrote:
> On 29.12.23 17:52, Dmitry A. Kazakov wrote:
> 
>>> Suppose that there is a way of orderly proceeding from one item to 
>>> the next.
>>> It is probably known to the implementation of map. Do single steps
>>> guarantee transitivity, though, so that an algorithm can assume the
>>> order to be invariable?
>>
>> An insane implementation can expose random orders each time.
> 
> An implementation order should then not be exposed, right?

IMO, an order should be exposed. Not necessarily the "implementation 
order" whatever that might mean.

> What portable benefits would there be when another interface
> is added to that of map, i.e., to Ada containers for general use?

It is same benefit Ada arrays have over C's T* pointers and arithmetic 
of. Cursor is merely a fat pointer.

> Would it not be possible to get these benefits using a different
> approach? I think the use case is clearly stated:
> 
> First, find Cursors in map =: C*.
> Right after that, Delete from map all nodes referred to by C*.

Right. Find cursors, store cursors in another container, iterate that 
container deleting elements of the first. Now, consider that the cursors 
in the second container become invalid (dangling pointers). If you 
wanted to delete them immediately from the second container, you would 
return the square one! (:-))

With a positional access interface it would be just (pure Ada 95):

    for Index in reverse 1..Number_Of_Elements (Container) loop
       if Want_To_Delete (Get (Container (Index))) then
          Delete (Container, Index);
       end if;
    end loop;

> For deleting, this thread has shown a loop that calls Delete
> multiple times right after collecting the cursors.
> And it is boilerplate text.  Could Maps be improved for this use case?

See above.

> [Bulk deletion] We do get bulk insertion in containers.  Also,
> A.18.2 already has bulk Delete operations.  Similarly,
> the Strings packages have them.
> 
> [No thread safety needed] If standard Ada maps are usually operated
> by just one task, stability of Cursors is predictable.
> 
> Then, with or without automatic management of storage,
> when My_Map is from an instance of Ordered_Map,
> 
>     Start  := In_13th_Floor (My_Map.Ceiling (13.0));
>     Finish := In_13th_Floor (My_Map.Floor (Fxd'Pred (14.0)));
>     My_Map.Delete (
>        From    => Start,
>        Through => Finish);

The case is more general: delete pairs satisfying certain criterion.

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

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-01 20:55               ` Dmitry A. Kazakov
@ 2024-01-02 16:40                 ` G.B.
  2024-01-02 20:57                   ` Dmitry A. Kazakov
  2024-01-03  3:22                 ` Randy Brukardt
  1 sibling, 1 reply; 40+ messages in thread
From: G.B. @ 2024-01-02 16:40 UTC (permalink / raw)


On 01.01.24 21:55, Dmitry A. Kazakov wrote:

>> Would it not be possible to get these benefits using a different
>> approach? I think the use case is clearly stated:
>>
>> First, find Cursors in map =: C*.
>> Right after that, Delete from map all nodes referred to by C*.
> 
> Right. Find cursors, store cursors in another container, iterate that container deleting elements of the first. Now, consider that the cursors in the second container become invalid (dangling pointers). If you wanted to delete them immediately from the second container, you would return the square one! (:-))

OK, yet if indicating nodes in a container is designed to survive
any deletions, leaving nothing dangling i.e., doesn't this limit
the way in which implementations can store nodes?
Seems like every "pointer" (= (Container, Position)) needs to know
its element, and/or the container will have to equip its storage
management with a "vacuuming" algorithm accordingly.

Transactions seem more flexible (a locking flag in a sequential
algorithm?), a dedicated operation looks simpler than both.

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-02 16:40                 ` G.B.
@ 2024-01-02 20:57                   ` Dmitry A. Kazakov
  0 siblings, 0 replies; 40+ messages in thread
From: Dmitry A. Kazakov @ 2024-01-02 20:57 UTC (permalink / raw)


On 2024-01-02 17:40, G.B. wrote:
> On 01.01.24 21:55, Dmitry A. Kazakov wrote:
> 
>>> Would it not be possible to get these benefits using a different
>>> approach? I think the use case is clearly stated:
>>>
>>> First, find Cursors in map =: C*.
>>> Right after that, Delete from map all nodes referred to by C*.
>>
>> Right. Find cursors, store cursors in another container, iterate that 
>> container deleting elements of the first. Now, consider that the 
>> cursors in the second container become invalid (dangling pointers). If 
>> you wanted to delete them immediately from the second container, you 
>> would return the square one! (:-))
> 
> OK, yet if indicating nodes in a container is designed to survive
> any deletions, leaving nothing dangling i.e., doesn't this limit
> the way in which implementations can store nodes?

Unless the container keeps references to all pointers and corrects them 
as necessary. Which basically defeats the only advantage of pointers. 
They have O(1) complexity in large non-contiguous containers while 
positions without caching are likely O(log(n)).

> Seems like every "pointer" (= (Container, Position)) needs to know
> its element, and/or the container will have to equip its storage
> management with a "vacuuming" algorithm accordingly.
> 
> Transactions seem more flexible (a locking flag in a sequential
> algorithm?), a dedicated operation looks simpler than both.

For large and persistent containers. But that requires a lot of work for 
the client and it is slow and resource consuming on the container side. 
A general-purpose container must be as simple as tooth powder.

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

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2023-12-30 11:07           ` Dmitry A. Kazakov
@ 2024-01-03  3:15             ` Randy Brukardt
  2024-01-03 10:04               ` Dmitry A. Kazakov
  0 siblings, 1 reply; 40+ messages in thread
From: Randy Brukardt @ 2024-01-03  3:15 UTC (permalink / raw)


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:umotm2$18lqm$1@dont-email.me...
...
>> Only as far as there is an order implied by the order that things are
>> returned. That order doesn't have any meaning, and certainly there isn't 
>> any
>> such thing as "forward" or "reverse" to it. (Which was the original 
>> claim,
>> after all.) There is no "natural" order to the key/element pairs; they 
>> are
>> effectively unordered.
>
> Iteration = order. It is the same thing. If you provide iteration of pairs 
> in the mapping by doing so you provide an order of.

Certainly not. An iteration presents all of the elements in a container, but 
there is no requirement that there is an order. Indeed, logically, all of 
the elements are presented at the same time (and parallel iteration provides 
an approximation of that).

If you try to enforce an order on things that don't require it, you end up 
preventing useful parallelism (practically, at least, no one has succeeded 
at providing useful parallelism to sequential code and people have been 
trying for about 50 years -- they were trying when I was a university 
student in the late 1970s).

>>> It always does sense *IF* enumeration (needed for iteration) is 
>>> provided.
>>> Enumeration of pairs (<key>, <value>) is not same as ordering values by
>>> the keys.
>>
>> True, but it doesn't imply any particular ordering. Certainly, no concept 
>> of
>> "forward" or "reverse" applies to such an ordering (nor any stability
>> requirement).
>
> It does. You have a strict total order of pairs which guarantees existence 
> of previous and next pairs according to.

Again, this is unrelated. Iteration can usefully occur in unordered 
containers (that is, "foreach"). Ordering is a separate concept, not always 
needed (certainly not in basic structures like maps, sets, and bags).

...
> True, an operation may invalidate whatever invariants. It applies equally 
> to any orders, any cursors and pointers, any hidden states of pending 
> foreach operations. Sanity means which invariants the implementation 
> keeps.

Ada requires that cursors continue to designate the same element through all 
operations other than deletion of the element or movement to a different 
container. Specific containers have additional invariants, but this is the 
most general one. No other requirement is needed in many cases.

 ...
>> "Position" is not a property of an (abstract) map. That's my complaint 
>> about
>> looking at everything as an array -- one starts thinking in terms of
>> properties that things don't have (or need).
>
> Yes position is a property of enumeration.

Surely not. This is a basis for my disagrement with you here. The only 
requirement for enumeration is that all elements are produced. The order is 
an artifact of doing it an inherently parallel operation sequentally. We 
don't care about or depend on artifacts.

 ...
> It is the reverse. Iterators is secondary to the order. Iterator walks 
> pairs in the order of pairs = in the order their positions.

Nope, this is completely wrong. Once you start with a bogus premise, of 
course you will get all kinds of bogus conclusions!!

...
>> You have some problem with an iterator
>> interface as opposed to an array interface??
>
> Yes, I am against pointers (referential semantics) in general.

This is nonsense - virtually everything is referential semantics (other than 
components). Array indexes are just a poor mans pointer (indeed, I learned 
how to program in Fortran 66 initially, and way one built useful data 
structures was to use array indexes as stand-ins for pointers). In A(1), 1 
is a reference to the first component of A.

So long as you are using arrays, you are using referential semantics. The 
only way to avoid it is to directly embed an object directly in an enclosing 
object (as in a record), and that doesn't work for many problems.

...
> I don't see anything that is not already there. What are reasons for not 
> providing:
>
>    M (n)       [ e.g. M (n).Key, M (n).Value ]
>    M (n1..n2)  [ in mutable contexts too ]
>    M'First
>    M'Last
>    M1 & M2     [ M1 or M2 ]
>
> They are all well-defined and useful operations.

Performance. If all of these things are user-definable, then one has to use 
subprogram calls to implement all of them. That can be very expensive, 
particularly in the case of mutable operations (and mutable slices are the 
worst of all). Moreover, since one would want the ability to have generic 
and runtime parameters that only meet this interface (and the ability to 
pass slices to subprograms that take unconstrained array parameters), you 
would have to be able to pass all of these subprograms along with 
parameters, even when you don't need them. That would make array operations 
far more expensive than they are today.

I think it is much better to get rid of most of these operations as built-in 
things and just let the programmer build their own operations as needed. 
That keeps the cost confined to those who use them. Distributed overhead is 
the worst kind, and slices in particular have a boatload of that overhead.

                Randy.


^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-01 20:55               ` Dmitry A. Kazakov
  2024-01-02 16:40                 ` G.B.
@ 2024-01-03  3:22                 ` Randy Brukardt
  2024-01-03  4:05                   ` moi
  1 sibling, 1 reply; 40+ messages in thread
From: Randy Brukardt @ 2024-01-03  3:22 UTC (permalink / raw)


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:umv8rg$2b4on$1@dont-email.me...
...
> It is same benefit Ada arrays have over C's T* pointers and arithmetic of. 
> Cursor is merely a fat pointer.

A cursor is an abstract reference. It *might* be implemented with a pointer 
or with an array index. Indeed, the bounded containers pretty much have to 
be implemented with an underlying array.

It would be nice if there was some terminology for abstract references that 
hadn't been stolen by some programming language. Terms like "pointer" and 
"access" and "reference" all imply an implementation strategy. That's not 
relevant most of the time, and many programming language design mistakes 
follow from that. (Anonymous access types come to mind).

               Randy.


^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-03  3:22                 ` Randy Brukardt
@ 2024-01-03  4:05                   ` moi
  0 siblings, 0 replies; 40+ messages in thread
From: moi @ 2024-01-03  4:05 UTC (permalink / raw)


On 03/01/2024 03:22, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:umv8rg$2b4on$1@dont-email.me...
> ...
>> It is same benefit Ada arrays have over C's T* pointers and arithmetic of.
>> Cursor is merely a fat pointer.
> 
> A cursor is an abstract reference. It *might* be implemented with a pointer
> or with an array index. Indeed, the bounded containers pretty much have to
> be implemented with an underlying array.
> 
> It would be nice if there was some terminology for abstract references that
> hadn't been stolen by some programming language. Terms like "pointer" and
> "access" and "reference" all imply an implementation strategy. That's not
> relevant most of the time, and many programming language design mistakes
> follow from that. (Anonymous access types come to mind).

What about "currency", as used in DB systems?

-- 
Bill F.

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-03  3:15             ` Randy Brukardt
@ 2024-01-03 10:04               ` Dmitry A. Kazakov
  2024-01-04  4:07                 ` Randy Brukardt
  0 siblings, 1 reply; 40+ messages in thread
From: Dmitry A. Kazakov @ 2024-01-03 10:04 UTC (permalink / raw)


On 2024-01-03 04:15, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:umotm2$18lqm$1@dont-email.me...
> ...
>>> Only as far as there is an order implied by the order that things are
>>> returned. That order doesn't have any meaning, and certainly there isn't
>>> any
>>> such thing as "forward" or "reverse" to it. (Which was the original
>>> claim,
>>> after all.) There is no "natural" order to the key/element pairs; they
>>> are
>>> effectively unordered.
>>
>> Iteration = order. It is the same thing. If you provide iteration of pairs
>> in the mapping by doing so you provide an order of.
> 
> Certainly not. An iteration presents all of the elements in a container, but
> there is no requirement that there is an order.

The meaning of the word "iterate" is doing something (e.g. visiting an 
element) again. That *is* an order.

> Indeed, logically, all of
> the elements are presented at the same time (and parallel iteration provides
> an approximation of that).

Parallel iteration changes nothing because involved tasks are enumerated 
and thus ordered as well.

> If you try to enforce an order on things that don't require it, you end up
> preventing useful parallelism (practically, at least, no one has succeeded
> at providing useful parallelism to sequential code and people have been
> trying for about 50 years -- they were trying when I was a university
> student in the late 1970s).

Ordering things does not prevent parallelism. But storing cursors for 
later is a mother of all Sequentialisms! (:-))

Whether a container elements can be effectively deleted in parallel is 
an interesting but rather unpractical one. Nobody, literally nobody, 
cares because any implementation would be many times slower than the 
worst sequential one! (:-))

>>>> It always does sense *IF* enumeration (needed for iteration) is
>>>> provided.
>>>> Enumeration of pairs (<key>, <value>) is not same as ordering values by
>>>> the keys.
>>>
>>> True, but it doesn't imply any particular ordering. Certainly, no concept
>>> of
>>> "forward" or "reverse" applies to such an ordering (nor any stability
>>> requirement).
>>
>> It does. You have a strict total order of pairs which guarantees existence
>> of previous and next pairs according to.
> 
> Again, this is unrelated. Iteration can usefully occur in unordered
> containers (that is, "foreach").

"An enumeration is a complete, ordered listing of all the items in a 
collection."
    -- Wikipedia

If "foreach" exposes an arbitrary ordering rather than some meaningful 
(natural) one, that speaks for "insanity" but changes nothing.

> Ordering is a separate concept, not always
> needed (certainly not in basic structures like maps, sets, and bags).

Right. But no ordering means no iteration, no foreach etc. If I can 
iterate, that I can create an ordered set of (counter, element) pairs. Done.

>> Yes position is a property of enumeration.
> 
> Surely not. This is a basis for my disagrement with you here.

Then you are disagreeing with core mathematics... (:-))

> The only
> requirement for enumeration is that all elements are produced.

Produced in an order. Elements only produced" is merely an opaque set. 
Enumeration of that set is ordering its elements.

> The order is
> an artifact of doing it an inherently parallel operation sequentally.

Yes, ordering is an ability to enumerate elements of a set. It is not an 
artifact it is the sole semantics of.

[...]

>>> You have some problem with an iterator
>>> interface as opposed to an array interface??
>>
>> Yes, I am against pointers (referential semantics) in general.
> 
> This is nonsense - virtually everything is referential semantics (other than
> components). Array indexes are just a poor mans pointer (indeed, I learned
> how to program in Fortran 66 initially, and way one built useful data
> structures was to use array indexes as stand-ins for pointers). In A(1), 1
> is a reference to the first component of A.
> 
> So long as you are using arrays, you are using referential semantics. The
> only way to avoid it is to directly embed an object directly in an enclosing
> object (as in a record), and that doesn't work for many problems.

The key difference is that index does not refer any element. It is 
container + index that do.

 From the programming POV it is about avoiding hidden states when you 
try to sweep the container part under the rug.

>> I don't see anything that is not already there. What are reasons for not
>> providing:
>>
>>     M (n)       [ e.g. M (n).Key, M (n).Value ]
>>     M (n1..n2)  [ in mutable contexts too ]
>>     M'First
>>     M'Last
>>     M1 & M2     [ M1 or M2 ]
>>
>> They are all well-defined and useful operations.
> 
> Performance.

Irrelevant so long it does not tamper implementations of other operations.

> If all of these things are user-definable, then one has to use
> subprogram calls to implement all of them. That can be very expensive,
> particularly in the case of mutable operations (and mutable slices are the
> worst of all).

But better, faster, safer when implemented ad-hoc by the programmer? See 
how this thread started. An elementary task, solved in a most 
inefficient, crude and unmaintainable way...

> Moreover, since one would want the ability to have generic
> and runtime parameters that only meet this interface (and the ability to
> pass slices to subprograms that take unconstrained array parameters), you
> would have to be able to pass all of these subprograms along with
> parameters, even when you don't need them. That would make array operations
> far more expensive than they are today.

Yes, and the language separates mutable and immutable stuff when using 
containers already. You cannot get around this issue.

> I think it is much better to get rid of most of these operations as built-in
> things and just let the programmer build their own operations as needed.

Well, if you'd proposed throwing containers out the standard library I 
would believe that you believe in that... (:-))

> That keeps the cost confined to those who use them. Distributed overhead is
> the worst kind, and slices in particular have a boatload of that overhead.

Usability always trumps performance. And again, looking at the standard 
containers and all these *tagged* *intermediate* objects one needs in 
order to do elementary things, I kind of in doubts... (:-))

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

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-03 10:04               ` Dmitry A. Kazakov
@ 2024-01-04  4:07                 ` Randy Brukardt
  2024-01-04 11:28                   ` Dmitry A. Kazakov
  0 siblings, 1 reply; 40+ messages in thread
From: Randy Brukardt @ 2024-01-04  4:07 UTC (permalink / raw)


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:un3bg9$35mhv$1@dont-email.me...
> On 2024-01-03 04:15, Randy Brukardt wrote:
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> news:umotm2$18lqm$1@dont-email.me...
...
> The meaning of the word "iterate" is doing something (e.g. visiting an 
> element) again. That *is* an order.

The order is an artifact. One logically visits all of the elements at the 
same time (certainly in an unordered container like a general map).

>> Indeed, logically, all of
>> the elements are presented at the same time (and parallel iteration 
>> provides
>> an approximation of that).
>
> Parallel iteration changes nothing because involved tasks are enumerated 
> and thus ordered as well.

Nonsense. There is no interface in Ada to access logical threads (the ones 
created by the parallel keyword).

>> If you try to enforce an order on things that don't require it, you end 
>> up
>> preventing useful parallelism (practically, at least, no one has 
>> succeeded
>> at providing useful parallelism to sequential code and people have been
>> trying for about 50 years -- they were trying when I was a university
>> student in the late 1970s).
>
> Ordering things does not prevent parallelism.

Yes it does, because it adds unnecessary constraints. It's those constraints 
that make parallelizing normal sequenatial code hard. A parallelizer has to 
guess which ones are fundamental to the code meaning and which ones are not.

...
>> Ordering is a separate concept, not always
>> needed (certainly not in basic structures like maps, sets, and bags).
>
> Right. But no ordering means no iteration, no foreach etc. If I can 
> iterate, that I can create an ordered set of (counter, element) pairs. 
> Done.
>
>>> Yes position is a property of enumeration.
>>
>> Surely not. This is a basis for my disagrement with you here.
>
> Then you are disagreeing with core mathematics... (:-))

You are adding an unnecessary property to the concept of iteration. 
Iteration does not necessarily imply enumeration (it can, of course). 
Iteration /= enumeration.

...
>> The order is
>> an artifact of doing it an inherently parallel operation sequentally.
>
> Yes, ordering is an ability to enumerate elements of a set. It is not an 
> artifact it is the sole semantics of.

Iteration is not necessarily enumeration. It is applying an operation to all 
elements, and doing that does not require an order. Some specific operations 
might require an order, and clearly for those one needs to use a data 
structure that inherently has an order.
...
>> So long as you are using arrays, you are using referential semantics. The
>> only way to avoid it is to directly embed an object directly in an 
>> enclosing
>> object (as in a record), and that doesn't work for many problems.
>
> The key difference is that index does not refer any element. It is 
> container + index that do.

That's not a "key difference". That exactly how one should use cursors, 
especially in Ada 2022. The Ada containers do have cursor-only operations, 
but those should be avoided since it is impossible to provide useful 
contracts for those operations (the container is unknown, so the world can 
be modified, which is bad for parallelism and understanding). Best to 
consider those operations obsolete. (Note that I was *always* against the 
cursor-only operations in the containers.)

So, using a cursor implies calling an operation that includes the container 
of its parameter.

> From the programming POV it is about avoiding hidden states when you try 
> to sweep the container part under the rug.

That's easily avoided -- don't use the obsolete operations. (And a style 
tool like Jean-Pierre's can enforce that for you.)

>>> I don't see anything that is not already there. What are reasons for not
>>> providing:
>>>
>>>     M (n)       [ e.g. M (n).Key, M (n).Value ]
>>>     M (n1..n2)  [ in mutable contexts too ]
>>>     M'First
>>>     M'Last
>>>     M1 & M2     [ M1 or M2 ]
>>>
>>> They are all well-defined and useful operations.
>>
>> Performance.
>
> Irrelevant so long it does not tamper implementations of other operations.

Exactly. These operations, especially slicing, have a huge impact on the 
cost of parameter passing for arrays (whether or not they are used). And 
that's a pretty fundamental operation.

>> If all of these things are user-definable, then one has to use
>> subprogram calls to implement all of them. That can be very expensive,
>> particularly in the case of mutable operations (and mutable slices are 
>> the
>> worst of all).
>
> But better, faster, safer when implemented ad-hoc by the programmer?

As with all programming problems, you can only have two of the three. ;-)

If the underlying programming language is already better and safer, that 
extends to user-written operations. (If it doesn't, it is a failure.)

...
...
>> I think it is much better to get rid of most of these operations as 
>> built-in
>> things and just let the programmer build their own operations as needed.
>
> Well, if you'd proposed throwing containers out the standard library I 
> would believe that you believe in that... (:-))

The standard library is not part of the programming language. It's a 
necessary adjunct, but it could be completely replaced without changing the 
language at all. It's necessary mainly so that basic operations are provided 
in the same way by all implementations, but there is little requirement to 
use it.

Specifically, the containers are separate from Ada. Plenty of programmers 
use their own container libraries, with different performance and safety 
profiles. That's expected and intended. There is no one-size-fits-all (or 
even one-size-fits-many) container library.

>> That keeps the cost confined to those who use them. Distributed overhead 
>> is
>> the worst kind, and slices in particular have a boatload of that 
>> overhead.
>
> Usability always trumps performance.

That's the philosophy of languages like Python, not Ada. If you truly 
believe this, then you shouldn't be using Ada at all, since it makes lots of 
compromises to usability in order to get performance.

> And again, looking at the standard containers and all these *tagged* 
> *intermediate* objects one needs in order to do elementary things, I kind 
> of in doubts... (:-))

The standard containers were designed to make *safe* containers with decent 
performance. As I noted, they're not a built-in part of the programming 
language, and as such have no impact on the performance of the language 
proper. One could easily replace them with an unsafe design to get maximum 
performance -- but that would have to return pointers to elements, and 
you've said you don't like referential semantics. So you would never use 
those.

You also can avoid all of the "tagged objects" (really controlled objects) 
by using function Element to get a copy of the element rather than some sort 
of reference to it. That's preferred if it doesn't cost too much for your 
application.

                       Randy. 


^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-04  4:07                 ` Randy Brukardt
@ 2024-01-04 11:28                   ` Dmitry A. Kazakov
  2024-01-05  2:00                     ` Randy Brukardt
  0 siblings, 1 reply; 40+ messages in thread
From: Dmitry A. Kazakov @ 2024-01-04 11:28 UTC (permalink / raw)


On 2024-01-04 05:07, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:un3bg9$35mhv$1@dont-email.me...

[...]

>> Yes, ordering is an ability to enumerate elements of a set. It is not an
>> artifact it is the sole semantics of.
> 
> Iteration is not necessarily enumeration. It is applying an operation to all
> elements, and doing that does not require an order.

That is not iteration, it is unordered listing, a totally useless thing 
because the result is the same unordered set.

You could not implement it without prior ordering of the elements you 
fed to the threads. If the threads picked up elements concurrently there 
would be no way to do that without ordering elements into a taken / not 
yet taken order. Hell, you cannot even get an element from a truly 
unordered set, no way! If the programmer tried to make any use of the 
listing he would again have to impose ordering when collecting results 
per some shared object.

The unordered listing is a null operation without ordering.

>> The key difference is that index does not refer any element. It is
>> container + index that do.
> 
> That's not a "key difference". That exactly how one should use cursors,
> especially in Ada 2022. The Ada containers do have cursor-only operations,
> but those should be avoided since it is impossible to provide useful
> contracts for those operations (the container is unknown, so the world can
> be modified, which is bad for parallelism and understanding). Best to
> consider those operations obsolete. (Note that I was *always* against the
> cursor-only operations in the containers.)
> 
> So, using a cursor implies calling an operation that includes the container
> of its parameter.

OK. It is some immensely over-designed index operation, then! (:-)) So, 
my initial question is back, why all that overhead? When you cannot do 
elementary things like preserving your indices from a well-defined set 
of upon deleting elements with indices outside that set?

>>>> I don't see anything that is not already there. What are reasons for not
>>>> providing:
>>>>
>>>>      M (n)       [ e.g. M (n).Key, M (n).Value ]
>>>>      M (n1..n2)  [ in mutable contexts too ]
>>>>      M'First
>>>>      M'Last
>>>>      M1 & M2     [ M1 or M2 ]
>>>>
>>>> They are all well-defined and useful operations.
>>>
>>> Performance.
>>
>> Irrelevant so long it does not tamper implementations of other operations.
> 
> Exactly. These operations, especially slicing, have a huge impact on the
> cost of parameter passing for arrays (whether or not they are used). And
> that's a pretty fundamental operation.

It is not slicing it is dynamically constrained arrays which are 
required anyway. A general problem of language design is how to treat 
statically known constraints effectively.

Ada arrays are pretty good to me. Note, I am saying that after years of 
using Ada arrays for interfacing C! Yes, I would like having more 
support for flattening arrays, but the mere fact that Ada can interface 
C using *in-place* semantics invalidates your point.

> Specifically, the containers are separate from Ada.

Not really. Like STL with C++ it massively influenced the language 
design motivating adding certain language features and shifting general 
language paradigm in certain direction.

>> Usability always trumps performance.
> 
> That's the philosophy of languages like Python, not Ada.

Ah, this is why Python is totally unusable? (:-))

Ada is usable and performant because of right abstractions it deploys. 
If you notice performance problems then, maybe, just my guess, you are 
using a wrong abstraction?

>> And again, looking at the standard containers and all these *tagged*
>> *intermediate* objects one needs in order to do elementary things, I kind
>> of in doubts... (:-))
> 
> The standard containers were designed to make *safe* containers with decent
> performance.

Well, we always wish the best... (:-))

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

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-04 11:28                   ` Dmitry A. Kazakov
@ 2024-01-05  2:00                     ` Randy Brukardt
  2024-01-05  9:26                       ` Simon Wright
                                         ` (2 more replies)
  0 siblings, 3 replies; 40+ messages in thread
From: Randy Brukardt @ 2024-01-05  2:00 UTC (permalink / raw)


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:un64o3$3krch$1@dont-email.me...
...
>> Exactly. These operations, especially slicing, have a huge impact on the
>> cost of parameter passing for arrays (whether or not they are used). And
>> that's a pretty fundamental operation.
>
> It is not slicing it is dynamically constrained arrays which are required 
> anyway. A general problem of language design is how to treat statically 
> known constraints effectively.

No, it's the combination of slicing and passing arrays with unknown (at 
compile-time) constraints that causes problems. And it only causes problems 
if you want to separate the array interface and the array implementation 
(which we both want to do). In such a case, you are passing arrays with 
unknown constraints and implementation. Assignable slices don't work with 
that, as they require a contiguous implementation of elements. You could 
work around that in various ways (passing slices by copy-result, passing an 
assignment routine along with the parameter), but all of them have 
substantial performance impacts that would make traditional array 
implementations much slower.

> Ada arrays are pretty good to me. Note, I am saying that after years of 
> using Ada arrays for interfacing C! Yes, I would like having more support 
> for flattening arrays, but the mere fact that Ada can interface C using 
> *in-place* semantics invalidates your point.

Inferfacing is using the array implementation, not the array interface. Of 
course it works great, as you note Ada commingles those in a way that makes 
them inseparable. To separate them, you are going to have to lose something. 
I chose slices and other array-specific operations as a built-in as that 
something. YMMV.

...
>>> Usability always trumps performance.
>>
>> That's the philosophy of languages like Python, not Ada.
>
> Ah, this is why Python is totally unusable? (:-))

I would tend to argue that it is indeed the case that you get dubious 
results when you put usability first. Ada puts 
readability/understandability, maintainability, and consistency first (along 
with performance). Those attributes tend to provide usability, but not at 
the cost of making things less consistent or understandable.

I wrote an article on this topic a year and a half ago that I wanted to 
publish on Ada-Auth.org. But I got enough pushback about not being "neutral" 
that I never did so. (I don't think discussing why we don't do things some 
other languages do is negative, but whatever.) I've put this on RR's blog at 
http://www.rrsoftware.com/html/blog/consequences.html so it isn't lost.

                       Randy.


^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-05  2:00                     ` Randy Brukardt
@ 2024-01-05  9:26                       ` Simon Wright
  2024-01-05 11:51                       ` Dmitry A. Kazakov
  2024-01-06  2:54                       ` “Usability” (was Re: Map iteration and modification) Lawrence D'Oliveiro
  2 siblings, 0 replies; 40+ messages in thread
From: Simon Wright @ 2024-01-05  9:26 UTC (permalink / raw)


"Randy Brukardt" <randy@rrsoftware.com> writes:

> I wrote an article on this topic a year and a half ago that I wanted to 
> publish on Ada-Auth.org. But I got enough pushback about not being "neutral" 
> that I never did so. (I don't think discussing why we don't do things some 
> other languages do is negative, but whatever.) I've put this on RR's blog at 
> http://www.rrsoftware.com/html/blog/consequences.html so it isn't lost.

Thanks for this!

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-05  2:00                     ` Randy Brukardt
  2024-01-05  9:26                       ` Simon Wright
@ 2024-01-05 11:51                       ` Dmitry A. Kazakov
  2024-01-06  7:25                         ` Randy Brukardt
  2024-04-17 10:12                         ` Cóilín Nioclás Pól Glostéir
  2024-01-06  2:54                       ` “Usability” (was Re: Map iteration and modification) Lawrence D'Oliveiro
  2 siblings, 2 replies; 40+ messages in thread
From: Dmitry A. Kazakov @ 2024-01-05 11:51 UTC (permalink / raw)


On 2024-01-05 03:00, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:un64o3$3krch$1@dont-email.me...
> ...
>>> Exactly. These operations, especially slicing, have a huge impact on the
>>> cost of parameter passing for arrays (whether or not they are used). And
>>> that's a pretty fundamental operation.
>>
>> It is not slicing it is dynamically constrained arrays which are required
>> anyway. A general problem of language design is how to treat statically
>> known constraints effectively.
> 
> No, it's the combination of slicing and passing arrays with unknown (at
> compile-time) constraints that causes problems.

As well as passing non-null pointers, discriminated objects, class-wide 
objects...

> And it only causes problems
> if you want to separate the array interface and the array implementation
> (which we both want to do). In such a case, you are passing arrays with
> unknown constraints and implementation. Assignable slices don't work with
> that, as they require a contiguous implementation of elements.

Only if the base type implementation is contiguous. A slice of a 
non-contiguous container is non-contiguous. If you can deal with the 
first you can do with the second.

The crucial point is removing static constraints from the instances 
which Ada does on some occasions and not on others, especially for the 
user-defined types.

> Inferfacing is using the array implementation, not the array interface. Of
> course it works great, as you note Ada commingles those in a way that makes
> them inseparable. To separate them, you are going to have to lose something.

Sure, but the point is that the loss should never happen when 
constraints are static when the callee knows them. When the callee does 
not, then a constraint must be passed to it.

>>>> Usability always trumps performance.
>>>
>>> That's the philosophy of languages like Python, not Ada.
>>
>> Ah, this is why Python is totally unusable? (:-))
> 
> I would tend to argue that it is indeed the case that you get dubious
> results when you put usability first. Ada puts
> readability/understandability, maintainability, and consistency first (along
> with performance). Those attributes tend to provide usability, but not at
> the cost of making things less consistent or understandable.
> 
> I wrote an article on this topic a year and a half ago that I wanted to
> publish on Ada-Auth.org. But I got enough pushback about not being "neutral"
> that I never did so. (I don't think discussing why we don't do things some
> other languages do is negative, but whatever.) I've put this on RR's blog at
> http://www.rrsoftware.com/html/blog/consequences.html so it isn't lost.

Thanks for posting this.

I disagree with what you wrote on several points:

1. Your premise was that use = writing. To me using includes all aspects 
of software developing and maintenance process. Writing is only a small 
part of it.

2. You argue for language regularity as if it were opposite to 
usability. Again, it is pretty much obvious that a regular language is 
easier to use in any possible sense.

3. Removing meaningless repetitions contributes to usability. But X := X 
+ Y is only one instance where Ada required such repetition. There are 
others. E.g.

    if X in T'Class then
       declare
          XT : T'Class renames T'Class (X);

T'Class is repeated 3 times. A discussion point is whether a new name XT 
could be avoided etc.

Introducing @ for a *single* purpose contradicts the principle of 
regularity. I would rather have a regular syntax for most if not all 
such instances.

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

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: “Usability” (was Re: Map iteration and modification)
  2024-01-05  2:00                     ` Randy Brukardt
  2024-01-05  9:26                       ` Simon Wright
  2024-01-05 11:51                       ` Dmitry A. Kazakov
@ 2024-01-06  2:54                       ` Lawrence D'Oliveiro
  2024-01-06  7:03                         ` "Usability" " Randy Brukardt
  2 siblings, 1 reply; 40+ messages in thread
From: Lawrence D'Oliveiro @ 2024-01-06  2:54 UTC (permalink / raw)


On Thu, 4 Jan 2024 20:00:37 -0600, Randy Brukardt wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:un64o3$3krch$1@dont-email.me...
>>>
>>>> Usability always trumps performance.
>>>
>>> That's the philosophy of languages like Python, not Ada.
>>
>> Ah, this is why Python is totally unusable? (:-))
> 
> I would tend to argue that it is indeed the case that you get dubious
> results when you put usability first. ...
> http://www.rrsoftware.com/html/blog/consequences.html

Without reading that, I would never have understood “usability” to mean 
“ease of writing”. I learned from early on in my programming career that 
readability was more important than writability. So “using” a language 
doesn’t end with writing the code: you then have to test and debug it--
basically lick it into shape--then maintain it afterwards.

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: "Usability" (was Re: Map iteration and modification)
  2024-01-06  2:54                       ` “Usability” (was Re: Map iteration and modification) Lawrence D'Oliveiro
@ 2024-01-06  7:03                         ` Randy Brukardt
  2024-01-06  8:14                           ` Niklas Holsti
                                             ` (2 more replies)
  0 siblings, 3 replies; 40+ messages in thread
From: Randy Brukardt @ 2024-01-06  7:03 UTC (permalink / raw)


"Lawrence D'Oliveiro" <ldo@nz.invalid> wrote in message 
news:unafcg$bpv5$7@dont-email.me...
> On Thu, 4 Jan 2024 20:00:37 -0600, Randy Brukardt wrote:
>
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> news:un64o3$3krch$1@dont-email.me...
>>>>
>>>>> Usability always trumps performance.
>>>>
>>>> That's the philosophy of languages like Python, not Ada.
>>>
>>> Ah, this is why Python is totally unusable? (:-))
>>
>> I would tend to argue that it is indeed the case that you get dubious
>> results when you put usability first. ...
>> http://www.rrsoftware.com/html/blog/consequences.html
>
> Without reading that, I would never have understood "usability" to mean
> "ease of writing". I learned from early on in my programming career that
> readability was more important than writability. So "using" a language
> doesn't end with writing the code: you then have to test and debug it--
> basically lick it into shape--then maintain it afterwards.

Usability is of course not just ease-of-writing, but a lot of people tend to 
co-mingle the two. For readability, too little information can be just as 
bad as too much. For writability, the less you have to write, the better.

                   Randy.


^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-05 11:51                       ` Dmitry A. Kazakov
@ 2024-01-06  7:25                         ` Randy Brukardt
  2024-01-07 15:06                           ` Jeffrey R.Carter
  2024-04-17 10:12                         ` Cóilín Nioclás Pól Glostéir
  1 sibling, 1 reply; 40+ messages in thread
From: Randy Brukardt @ 2024-01-06  7:25 UTC (permalink / raw)


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:un8qgm$50cc$1@dont-email.me...
> On 2024-01-05 03:00, Randy Brukardt wrote:
...
> Thanks for posting this.
>
> I disagree with what you wrote on several points:
>
> 1. Your premise was that use = writing. To me using includes all aspects 
> of software developing and maintenance process. Writing is only a small 
> part of it.

Perhaps I didn't make it clear enough, but my premise was that many people 
making suggestions for Ada confuse "ease-of-use" with "ease-of-writing". I 
said "mischaracterized" for a reason (and I see that "mis" was missing from 
the first use, so I just added that). "Ease-of-writing" is not a thing for 
Ada, and it isn't considered while the other aspects are weighed. And as I 
said in my last message, there is a difference in that writing more can help 
understandability, but it never helps writing.

> 2. You argue for language regularity as if it were opposite to usability. 
> Again, it is pretty much obvious that a regular language is easier to use 
> in any possible sense.

But not necessarily easier to write, which was the primary topic I was 
dealing with.

> 3. Removing meaningless repetitions contributes to usability. But X := X + 
> Y is only one instance where Ada required such repetition. There are 
> others. E.g.
>
>    if X in T'Class then
>       declare
>          XT : T'Class renames T'Class (X);
>
> T'Class is repeated 3 times. A discussion point is whether a new name XT 
> could be avoided etc.

Of course, this example violates OOP dogma, and some people would argue that 
should be harder than following it. That's the same reason that Ada doesn't 
have that many implicit conversions. In this particular example, I tend to 
think the dogma is silly, but I don't off-hand see a way to avoid the 
conversion being somewhere (few implicit conversions after all).

> Introducing @ for a *single* purpose contradicts the principle of 
> regularity. I would rather have a regular syntax for most if not all such 
> instances.

@ is regular in the sense that it is allowed anywhere in an expression. If 
you tried to expand the use to other contexts, you would have to 
differentiate them, which would almost certainly require some sort of 
declaration. But doing that risks making the mechanism as wordy as what it 
replaces (which obviously defeats the purpose).

We looked at a number of ideas like that, but they didn't seem to help 
comprehension. In something like:
   LHS:(X(Y)) := LHS + 1;
(where LHS is an arbitrary identifier), if the target name is fairly long, 
it could be hard to find where the name for the target is given, and in any 
case, it adds to the name space that the programmer has to remember when 
reading the source expression. That didn't seem to add to readability as 
much as the simple @ does.

In any case, these things are trade-offs, and certainly nothing is absolute. 
But @ is certainly much more general than ":=+" would be, given that it 
works with function calls and array indexing and attributes and user-defined 
operations rather than just a single operator.

                               Randy.


^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: "Usability" (was Re: Map iteration and modification)
  2024-01-06  7:03                         ` "Usability" " Randy Brukardt
@ 2024-01-06  8:14                           ` Niklas Holsti
  2024-01-06 23:41                           ` Lawrence D'Oliveiro
  2024-01-07  1:21                           ` J-P. Rosen
  2 siblings, 0 replies; 40+ messages in thread
From: Niklas Holsti @ 2024-01-06  8:14 UTC (permalink / raw)


On 2024-01-06 9:03, Randy Brukardt wrote:
> "Lawrence D'Oliveiro" <ldo@nz.invalid> wrote in message
> news:unafcg$bpv5$7@dont-email.me...
>> On Thu, 4 Jan 2024 20:00:37 -0600, Randy Brukardt wrote:
>>
>>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>>> news:un64o3$3krch$1@dont-email.me...
>>>>>
>>>>>> Usability always trumps performance.
>>>>>
>>>>> That's the philosophy of languages like Python, not Ada.
>>>>
>>>> Ah, this is why Python is totally unusable? (:-))
>>>
>>> I would tend to argue that it is indeed the case that you get dubious
>>> results when you put usability first. ...
>>> http://www.rrsoftware.com/html/blog/consequences.html
>>
>> Without reading that, I would never have understood "usability" to mean
>> "ease of writing". I learned from early on in my programming career that
>> readability was more important than writability. So "using" a language
>> doesn't end with writing the code: you then have to test and debug it--
>> basically lick it into shape--then maintain it afterwards.
> 
> Usability is of course not just ease-of-writing, but a lot of people tend to
> co-mingle the two. For readability, too little information can be just as
> bad as too much. For writability, the less you have to write, the better.


I feel that is too narrow a definition of writability (and perhaps you 
did not intend it as a definition). Before one can start typing code, 
one has to decide what to write -- which language constructs to use. A 
systematically constructed, regular language like Ada makes that mental 
effort easier, even if it results in more keystrokes; a plethora of 
special-case syntaxes and abbreviation possibilities makes it harder.

Perhaps "writability" should even be taken to cover the whole process of 
creating /correct/ code, and include all the necessary testing, 
debugging and corrections until correct code is achieved. Here of course 
Ada shines again, with so many coding errors caught at compile time.

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: "Usability" (was Re: Map iteration and modification)
  2024-01-06  7:03                         ` "Usability" " Randy Brukardt
  2024-01-06  8:14                           ` Niklas Holsti
@ 2024-01-06 23:41                           ` Lawrence D'Oliveiro
  2024-01-07  1:21                           ` J-P. Rosen
  2 siblings, 0 replies; 40+ messages in thread
From: Lawrence D'Oliveiro @ 2024-01-06 23:41 UTC (permalink / raw)


On Sat, 6 Jan 2024 01:03:05 -0600, Randy Brukardt wrote:

> For writability, the less you have to write, the better.

I write code for readability, and I think avoiding repetition fits into 
that as well. Thus, factoring repeated sequences into a common function/
class, and just putting calls to that in all the relevant places, is, I 
find, generally a Good Thing.

Bugs seem to be measured per line of code. Therefore, fewer lines of code 
means fewer bugs overall.

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: "Usability" (was Re: Map iteration and modification)
  2024-01-06  7:03                         ` "Usability" " Randy Brukardt
  2024-01-06  8:14                           ` Niklas Holsti
  2024-01-06 23:41                           ` Lawrence D'Oliveiro
@ 2024-01-07  1:21                           ` J-P. Rosen
  2024-01-09 15:19                             ` Bill Findlay
  2024-01-09 20:30                             ` Lawrence D'Oliveiro
  2 siblings, 2 replies; 40+ messages in thread
From: J-P. Rosen @ 2024-01-07  1:21 UTC (permalink / raw)


Le 06/01/2024 à 03:03, Randy Brukardt a écrit :
> Usability is of course not just ease-of-writing, but a lot of people tend to
> co-mingle the two. For readability, too little information can be just as
> bad as too much. For writability, the less you have to write, the better.
> 
Yes, I'm always surprised to see many languages (including Rust) 
praising themselves of being "concise". Apart from saving some 
keystrokes, I fail to see the benefit of being concise...

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
https://www.adalog.fr https://www.adacontrol.fr

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-06  7:25                         ` Randy Brukardt
@ 2024-01-07 15:06                           ` Jeffrey R.Carter
  2024-01-09  4:46                             ` Randy Brukardt
  0 siblings, 1 reply; 40+ messages in thread
From: Jeffrey R.Carter @ 2024-01-07 15:06 UTC (permalink / raw)


On 2024-01-06 08:25, Randy Brukardt wrote:
> 
> @ is regular in the sense that it is allowed anywhere in an expression. If
> you tried to expand the use to other contexts, you would have to
> differentiate them, which would almost certainly require some sort of
> declaration. But doing that risks making the mechanism as wordy as what it
> replaces (which obviously defeats the purpose).
> 
> We looked at a number of ideas like that, but they didn't seem to help
> comprehension. In something like:
>     LHS:(X(Y)) := LHS + 1;
> (where LHS is an arbitrary identifier), if the target name is fairly long,
> it could be hard to find where the name for the target is given, and in any
> case, it adds to the name space that the programmer has to remember when
> reading the source expression. That didn't seem to add to readability as
> much as the simple @ does.
> 
> In any case, these things are trade-offs, and certainly nothing is absolute.
> But @ is certainly much more general than ":=+" would be, given that it
> works with function calls and array indexing and attributes and user-defined
> operations rather than just a single operator.

For the 9X and 0X revisions I suggested adding "when <condition>" to return and 
raise statements, similar to its use on exit statements. This was rejected 
because the language already has a way to accomplish this: if statements.

Given that one can do

declare
    V : T renames Very_Long_Identifier;
begin
    V := V - 23;
end;

it seems that @ should also have been rejected. Probably more so, since @ is 
completely new syntax rather than reusing existing syntax on some additional 
statements. What is the justification of accepting @ while still rejecting the 
other?

-- 
Jeff Carter
"If I could find a sheriff who so offends the citizens of Rock
Ridge that his very appearance would drive them out of town ...
but where would I find such a man? Why am I asking you?"
Blazing Saddles
37

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-07 15:06                           ` Jeffrey R.Carter
@ 2024-01-09  4:46                             ` Randy Brukardt
  2024-01-09  5:56                               ` when-clauses (was Re: Map iteration and modification) Lawrence D'Oliveiro
  2024-01-09  9:43                               ` Map iteration and modification Jeffrey R.Carter
  0 siblings, 2 replies; 40+ messages in thread
From: Randy Brukardt @ 2024-01-09  4:46 UTC (permalink / raw)


"Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> wrote in message 
news:uneel2$12ufr$1@dont-email.me...
...
> For the 9X and 0X revisions I suggested adding "when <condition>" to 
> return and raise statements, similar to its use on exit statements. This 
> was rejected because the language already has a way to accomplish this: if 
> statements.

I don't recall ever seriously considering this (might just my memory getting 
old). I suspect that didn't get rejected so much as not making the cut as 
important enough. We do try to limit the size of what gets added, not just 
adding everyone's favorite feature.

I'd guess that "raise Foo when Something" would get rejected now as it would 
be confusing with "raise Foo with Something" which means something very 
different. (At least the types of "Something" are different in these two.) 
OTOH, we added "when condition" to loops (which I thought was unnecessary, 
but I lost that), so argubly it would be consistent to add it to other 
statements and expressions as well. Perhaps you should raise it again on the 
Github.

                         Randy.




>
> Given that one can do
>
> declare
>    V : T renames Very_Long_Identifier;
> begin
>    V := V - 23;
> end;
>
> it seems that @ should also have been rejected. Probably more so, since @ 
> is completely new syntax rather than reusing existing syntax on some 
> additional statements. What is the justification of accepting @ while 
> still rejecting the other?
>
> -- 
> Jeff Carter
> "If I could find a sheriff who so offends the citizens of Rock
> Ridge that his very appearance would drive them out of town ...
> but where would I find such a man? Why am I asking you?"
> Blazing Saddles
> 37
> 


^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: when-clauses (was Re: Map iteration and modification)
  2024-01-09  4:46                             ` Randy Brukardt
@ 2024-01-09  5:56                               ` Lawrence D'Oliveiro
  2024-01-09  9:43                               ` Map iteration and modification Jeffrey R.Carter
  1 sibling, 0 replies; 40+ messages in thread
From: Lawrence D'Oliveiro @ 2024-01-09  5:56 UTC (permalink / raw)


On Mon, 8 Jan 2024 22:46:59 -0600, Randy Brukardt wrote:

> OTOH, we added "when condition" to loops (which I thought
> was unnecessary, but I lost that) ...

I can see that conditional exits are a very common case, and because Ada 
requires “end if” on if-statements, they wanted to shorten the common 
case, hence exit-when.

Not sure if conditional raises are that common. If my Python experience is 
any guide, I don’t do that much.

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-09  4:46                             ` Randy Brukardt
  2024-01-09  5:56                               ` when-clauses (was Re: Map iteration and modification) Lawrence D'Oliveiro
@ 2024-01-09  9:43                               ` Jeffrey R.Carter
  1 sibling, 0 replies; 40+ messages in thread
From: Jeffrey R.Carter @ 2024-01-09  9:43 UTC (permalink / raw)


On 2024-01-09 05:46, Randy Brukardt wrote:
> "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> wrote in message
> news:uneel2$12ufr$1@dont-email.me...
> 
> I don't recall ever seriously considering this (might just my memory getting
> old). I suspect that didn't get rejected so much as not making the cut as
> important enough.

I don't consider special syntax to shorten names in assignment statements 
important at all. We have renames for that, and it is a more general mechanism, 
applying to more than just assignments.

-- 
Jeff Carter
"[I]t is foolish to polish a program beyond the
point of diminishing returns, but most programmers
do too little revision; they are satisfied too
early."
Elements of Programming Style
189

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: "Usability" (was Re: Map iteration and modification)
  2024-01-07  1:21                           ` J-P. Rosen
@ 2024-01-09 15:19                             ` Bill Findlay
  2024-01-09 20:30                             ` Lawrence D'Oliveiro
  1 sibling, 0 replies; 40+ messages in thread
From: Bill Findlay @ 2024-01-09 15:19 UTC (permalink / raw)


On 7 Jan 2024, J-P. Rosen wrote
(in article <uncuas$qe2g$1@dont-email.me>):

> Le 06/01/2024 à 03:03, Randy Brukardt a écrit:
> > Usability is of course not just ease-of-writing, but a lot of people tend to
> > co-mingle the two. For readability, too little information can be just as
> > bad as too much. For writability, the less you have to write, the better.
> Yes, I'm always surprised to see many languages (including Rust)
> praising themselves of being "concise". Apart from saving some
> keystrokes, I fail to see the benefit of being concise...

Agreed. However, it is a bit of a totem in the FP cult.

-- 
Bill Findlay

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: "Usability" (was Re: Map iteration and modification)
  2024-01-07  1:21                           ` J-P. Rosen
  2024-01-09 15:19                             ` Bill Findlay
@ 2024-01-09 20:30                             ` Lawrence D'Oliveiro
  1 sibling, 0 replies; 40+ messages in thread
From: Lawrence D'Oliveiro @ 2024-01-09 20:30 UTC (permalink / raw)


On Sat, 6 Jan 2024 21:21:30 -0400, J-P. Rosen wrote:

> Yes, I'm always surprised to see many languages (including Rust)
> praising themselves of being "concise". Apart from saving some
> keystrokes, I fail to see the benefit of being concise...

How about this for an example. I created a Python wrapper around the Cairo 
graphics library <https://www.cairographics.org/>. There are already other 
Python wrappers, which are little more than transliterations of the C API. 
I wanted to go one step further. So whereas in C you might write

    x1 = - scope_radius * sin(trace_width_angle);
    y1 = scope_radius * cos(trace_width_angle);
    cairo_line_to(ctx, x1, y1);

my Python wrapper reduces this down to

    ctx.line_to(Vector(0, scope_radius).rotate(trace_width_angle))

How’s that for “concise”?

^ permalink raw reply	[flat|nested] 40+ messages in thread

* Re: Map iteration and modification
  2024-01-05 11:51                       ` Dmitry A. Kazakov
  2024-01-06  7:25                         ` Randy Brukardt
@ 2024-04-17 10:12                         ` Cóilín Nioclás Pól Glostéir
  1 sibling, 0 replies; 40+ messages in thread
From: Cóilín Nioclás Pól Glostéir @ 2024-04-17 10:12 UTC (permalink / raw)


[-- Attachment #1: Type: text/plain, Size: 1673 bytes --]

Dmitry A. Kazakov wrote:
"On 2024-01-05 03:00, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:un64o3$3krch$1@dont-email.me...
> ...
[. . .]
>>>> Usability always trumps performance.
>>> 
>>> That's the philosophy of languages like Python, not Ada.
>> 
>> Ah, this is why Python is totally unusable? (:-))
> 
> I would tend to argue that it is indeed the case that you get dubious
> results when you put usability first. Ada puts
> readability/understandability, maintainability, and consistency first 
> (along
> with performance). Those attributes tend to provide usability, but not at
> the cost of making things less consistent or understandable.
> 
> I wrote an article on this topic a year and a half ago that I wanted to
> publish on Ada-Auth.org. But I got enough pushback about not being 
> "neutral"
> that I never did so. (I don't think discussing why we don't do things some
> other languages do is negative, but whatever.) I've put this on RR's blog 
> at
> http://www.rrsoftware.com/html/blog/consequences.html so it isn't lost.

Thanks for posting this."

Dear all,

Thanks indeed.

"[. . .]

3. Removing meaningless repetitions contributes to usability. But X := X + Y 
is only one instance where Ada required such repetition. [. . .]

[. . .]"

I wrote a function to increment as a workaround but opinionated Anita 
Enmark did not like it. Engineering and opinions.

"   if X in T'Class then
       declare
          XT : T'Class renames T'Class (X);

T'Class is repeated 3 times."

Sorry: 2 times.

With best regards.
Nioclás Pól Caileán de Ghloucester

^ permalink raw reply	[flat|nested] 40+ messages in thread

end of thread, other threads:[~2024-04-17 10:12 UTC | newest]

Thread overview: 40+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-12-28 13:53 Map iteration and modification DrPi
2023-12-28 13:59 ` DrPi
2023-12-28 16:06   ` Dmitry A. Kazakov
2023-12-28 17:57     ` DrPi
2023-12-29  3:20     ` Randy Brukardt
2023-12-29  9:51       ` Dmitry A. Kazakov
2023-12-29 15:03         ` G.B.
2023-12-29 16:52           ` Dmitry A. Kazakov
2024-01-01 19:27             ` G.B.
2024-01-01 20:55               ` Dmitry A. Kazakov
2024-01-02 16:40                 ` G.B.
2024-01-02 20:57                   ` Dmitry A. Kazakov
2024-01-03  3:22                 ` Randy Brukardt
2024-01-03  4:05                   ` moi
2023-12-30  7:21         ` Randy Brukardt
2023-12-30 11:07           ` Dmitry A. Kazakov
2024-01-03  3:15             ` Randy Brukardt
2024-01-03 10:04               ` Dmitry A. Kazakov
2024-01-04  4:07                 ` Randy Brukardt
2024-01-04 11:28                   ` Dmitry A. Kazakov
2024-01-05  2:00                     ` Randy Brukardt
2024-01-05  9:26                       ` Simon Wright
2024-01-05 11:51                       ` Dmitry A. Kazakov
2024-01-06  7:25                         ` Randy Brukardt
2024-01-07 15:06                           ` Jeffrey R.Carter
2024-01-09  4:46                             ` Randy Brukardt
2024-01-09  5:56                               ` when-clauses (was Re: Map iteration and modification) Lawrence D'Oliveiro
2024-01-09  9:43                               ` Map iteration and modification Jeffrey R.Carter
2024-04-17 10:12                         ` Cóilín Nioclás Pól Glostéir
2024-01-06  2:54                       ` “Usability” (was Re: Map iteration and modification) Lawrence D'Oliveiro
2024-01-06  7:03                         ` "Usability" " Randy Brukardt
2024-01-06  8:14                           ` Niklas Holsti
2024-01-06 23:41                           ` Lawrence D'Oliveiro
2024-01-07  1:21                           ` J-P. Rosen
2024-01-09 15:19                             ` Bill Findlay
2024-01-09 20:30                             ` Lawrence D'Oliveiro
2023-12-29  3:08   ` Map iteration and modification Randy Brukardt
2023-12-29 13:53     ` DrPi
2023-12-30  6:29       ` Randy Brukardt
2023-12-31 13:56         ` DrPi

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