comp.lang.ada
 help / color / mirror / Atom feed
From: "Cóilín Nioclás Pól Glostéir" <Master_Fontaine_is_dishonest@Strand_in_London.Gov.UK>
Subject: Re: Map iteration and modification
Date: Wed, 17 Apr 2024 12:12:20 +0200	[thread overview]
Message-ID: <ce1e2232-3973-3500-04cc-36334a8c0f01@Insomnia247.NL> (raw)
In-Reply-To: <un8qgm$50cc$1@dont-email.me>

[-- 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

  parent reply	other threads:[~2024-04-17 10:12 UTC|newest]

Thread overview: 40+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
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 [this message]
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
replies disabled

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