From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: anonymous records as tuples Date: Tue, 13 Mar 2018 09:28:04 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <4cf2a76e-626d-4ead-ae8a-dccdef41b283@googlegroups.com> <2153155f-2778-421f-97cb-4d229fb9355b@googlegroups.com> <290ddbd1-3aa1-4238-8737-51d8090af7d3@googlegroups.com> <40461a81-a074-4b15-8cdb-d977337a84b7@googlegroups.com> NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 X-Notice: Filtered by postfilter v. 0.8.3 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:50954 Date: 2018-03-13T09:28:04+01:00 List-Id: 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