comp.lang.ada
 help / color / mirror / Atom feed
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Tally
Date: Thu, 16 Jan 2020 23:00:58 +0100
Date: 2020-01-16T23:00:58+01:00	[thread overview]
Message-ID: <qvqmeq$u70$1@dont-email.me> (raw)
In-Reply-To: <4967a95b-3d79-4a5b-a30d-0f04f00ebbc4@googlegroups.com>

On 1/16/20 4:35 PM, Brad Moore wrote:
> 
>     Counts : Count_Maps.Map
>       := [for I in Input'Range
>             when (for all J in Input'First .. I - 1 => Input (I) /= Input (J))
>                use I => 0];

I think you want

    use Input (I) => 0

here (and further on). I can figure out what this does, but I wouldn't call it 
clear.

>     Counts : constant Count_Maps.Map
>       := [for I in Input'Range
>             when (for all J in Input'First .. I - 1 => Input (I) /= Input (J))
>                use I =>
>                   [for K in Input'Range when Input (K) = Input (I)) => 1]
>                     'Reduce("+", 0)];

This is getting close to write-only code.

-- 
Jeff Carter
"I'm a lumberjack and I'm OK."
Monty Python's Flying Circus
54

  parent reply	other threads:[~2020-01-16 22:00 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-01-14 15:27 Tally Gilbert Gosseyn
2020-01-14 16:22 ` Tally Niklas Holsti
2020-01-14 17:28   ` Tally Simon Wright
2020-01-15 11:52     ` Tally Simon Wright
2020-01-14 21:08 ` Tally Jeffrey R. Carter
2020-01-15  3:40   ` Tally Brad Moore
2020-01-15  9:03     ` Tally Simon Wright
2020-01-15 23:09       ` Tally Jere
2020-01-16 11:34         ` Tally Simon Wright
2020-01-16 15:35           ` Tally Brad Moore
2020-01-16 20:20             ` Tally Randy Brukardt
2020-01-16 22:03               ` Tally Jeffrey R. Carter
2020-01-16 22:00             ` Jeffrey R. Carter [this message]
2020-01-16 22:25               ` Tally Simon Wright
2020-01-17  2:51                 ` Tally Brad Moore
2020-01-17  3:08       ` Tally Brad Moore
replies disabled

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