From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: anonymous records as tuples
Date: Tue, 13 Mar 2018 09:28:04 +0100
Date: 2018-03-13T09:28:04+01:00 [thread overview]
Message-ID: <p8822k$49v$1@gioia.aioe.org> (raw)
In-Reply-To: 40461a81-a074-4b15-8cdb-d977337a84b7@googlegroups.com
On 13/03/2018 03:51, Dan'l Miller wrote:
> Instead of full-fledged anonymity, the de facto name of a pseudo-anonymous type in some future version of Ada could be something to the effect of: subroutine X's return type, such as with ' syntax as reflection (e.g., 'ReturnType).
T'Parent, T'Interface (N), R'Member (N), A'Index, A'Element,
T'Constraints (a tuple of discriminants and bounds)...
The question is how much such types would be allowed to be used,
especially in generics.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2018-03-13 8:28 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-12 17:32 anonymous records as tuples Stephen Leake
2018-03-12 18:01 ` Dmitry A. Kazakov
2018-03-12 19:17 ` Robert Eachus
2018-03-12 19:34 ` Stephen Leake
2018-03-12 23:59 ` Randy Brukardt
2018-03-13 2:51 ` Dan'l Miller
2018-03-13 8:28 ` Dmitry A. Kazakov [this message]
2018-03-12 21:09 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox