From: Lawrence D'Oliveiro <ldo@nz.invalid>
Subject: Re: Reduction expressions
Date: Tue, 20 Aug 2024 23:30:54 -0000 (UTC) [thread overview]
Message-ID: <va38ve$3i3ne$11@dont-email.me> (raw)
In-Reply-To: lyjzgaopm8.fsf@pushface.org
On Tue, 20 Aug 2024 22:23:27 +0100, Simon Wright wrote:
> "Randy Brukardt" <randy@rrsoftware.com> writes:
>
>> Accum_Subtype (we changed the name since it is a subtype, not a type;
>
> Amazing how a person (I) can have used Ada for ~40 years and still be
> hard put to it to describe the difference, at least in a case like this
> one, where the ARG members clearly see meanings that leave me lukewarm
> if not cold. Maybe "the heart of twilight"?
I thought the difference was obvious. “subtype” is the C equivalent of
“typedef”, just giving a new name to an existing type. So
subtype A is B;
(where A and B are simple identifiers) is valid, whereas
type A is B;
is not: a “type” declaration always creates a new type: you have to write
at least
type A is new B;
and now you have two types with different names that are structurally the
same, but not compatible.
next prev parent reply other threads:[~2024-08-20 23:30 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-08-13 12:36 Reduction expressions Simon Wright
2024-08-20 3:59 ` Randy Brukardt
2024-08-20 21:23 ` Simon Wright
2024-08-20 23:30 ` Lawrence D'Oliveiro [this message]
2024-08-20 23:41 ` Keith Thompson
2024-08-21 1:37 ` Lawrence D'Oliveiro
2024-08-21 7:47 ` Simon Wright
2024-08-24 4:27 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox