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: Record operations (Algebraic Data Types and printing) Date: Fri, 12 Oct 2018 09:14:59 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <0f5608ef-0038-491c-b15f-f67bcc76fae8@googlegroups.com> <00285ebf-6ede-44da-848f-456930dc7475@googlegroups.com> <3620199a-f025-4099-83ad-a1e5042dc6c0@googlegroups.com> <8903c94f-efc7-4a2c-9513-ee17890b49d2@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 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 X-Notice: Filtered by postfilter v. 0.8.3 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:54547 Date: 2018-10-12T09:14:59+02:00 List-Id: On 2018-10-11 23:35, Randy Brukardt wrote: > "Dmitry A. Kazakov" wrote in message > news:ppk92s$4ht$1@gioia.aioe.org... >> On 2018-10-10 00:20, Randy Brukardt wrote: >>> "Lucretia" wrote in message >>> news:fb2af9cb-5317-4f1c-867c-8876212d303b@googlegroups.com... >>> What package? We're talking about (in part) the default representation >>> for a >>> type. >> >> What have T'Image and T'Value to do with the type representation? > > Sorry about the sloppy language, I was referring to the default Image string > representation for a type. > > The proposal for 'Image defines such a representation for all types (for a > task, it is the task id and discriminants, for instance). It's not clear how > to define 'Value usefully for such a representation (most likely it would > not be). > > In any case, it is a non-trivial problem, substantially harder than the > matching problem for 'Image. Another difficult problem is to define rules how 'Image and 'Value of a composite type should use or not use 'Image and 'Value of the components and ancestors. Say Image of a component gets overridden. Does it have effect and when? Does it change the behavior later on or only newly compiled modules, only those where overriding is visible, directly? etc. I.e. is any call to Image is always "dispatching"? This is why do not like all these language hacks. Image/Value must be an interface inherited, standard rules apply. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de