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: Ada Successor Language Date: Tue, 26 Jun 2018 22:59:12 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <5e86db65-84b9-4b5b-9aea-427a658b5ae7@googlegroups.com> <87602fbu2g.fsf@nightsong.com> <87po0mziqt.fsf@nightsong.com> <87fu1izfgs.fsf@nightsong.com> <878t75nwad.fsf@adaheads.home> <15b6f89f-997b-45ac-86b4-2e614bb624c2@googlegroups.com> <28a46046-e7eb-4306-bc39-72bc751831ae@googlegroups.com> <400ba7f8-6875-4ba8-99ee-c105180d5d8b@googlegroups.com> NNTP-Posting-Host: 3CrKQyqWAJZHy6zYVP/kUg.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 X-Notice: Filtered by postfilter v. 0.8.3 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:53351 Date: 2018-06-26T22:59:12+02:00 List-Id: On 2018-06-26 22:03, Dan'l Miller wrote: > On Tuesday, June 26, 2018 at 2:29:48 PM UTC-5, Dmitry A. Kazakov wrote: >> On 2018-06-26 20:47, Dan'l Miller wrote: >>> On Tuesday, June 26, 2018 at 12:25:27 PM UTC-5, Dmitry A. Kazakov wrote: >>>> On 2018-06-26 18:50, Dan'l Miller wrote: >>>>> On Tuesday, June 26, 2018 at 10:38:50 AM UTC-5, Simon Wright wrote: >>>>>> ric.wai88@gmail.com writes: >>>>>> >>>>>>> I hope I can opt to be out-side of this "Ada" community who seem bent >>>>>>> on wasting copious time determining overly contrived ways of >>>>>>> destroying Ada from the inside out.. Apparently because Ada's >>>>>>> carefully enforced discipline is too inconvenient, or something. >>>>>> >>>>>> I agree with you. It feels as though we have a few people around who >>>>>> enjoy wild flights of fancy. >>>>> >>>>> I agree. Ada does not need records with external-to-record tags. >>>> >>>> Ada already has them, since 1983. >>> >>> Wait. Ada83 already has what you are proposing regarding 'Class for untagged records, eh? >> >> Ada 83 has "untagged" records, yes. > > But Ada83 does not have your 'Class for untagged types. Your question was about naming "untagged" records and that they may break something if introduced. Records are defined in RM 3.8. They cannot be introduced because they are already there. They cannot break anything for the same reason. So far clear? Adding a class-wide type cannot break anything for the reason of being a distinct type. Whatever semantic T'Class has it is related to the objects of this and only this type, because Ada has strong nominal type system. OK? >>> But merely 3 hours ago you said that your proposing of something that is already there would be pointless: >> >> Exactly. I never proposed "untagged" records. I proposed a method to >> have a class-wide type rooted in a non-tagged type, not only records but >> scalar types, array types, even tasks and protected objects as well. > > Ahhh, now your words have finally circled back to that bad idea that threatens to bring C++ slicing to Ada when the compiler's choice of strong type differed from the programmer's intended strong type. Welcome back! Many happy returns. I have no idea about C++ slicing anything. Even less about Ada choosing types. Ada is a strongly manifestedly typed language. There is no way the compiler could choose a type for the programmer. There is no type inference in Ada and there is no such thing in my proposal. Please explain what exactly you mean. >>>>> (What the heck would we call these, btw? Untagged tagged records? Tagged untagged records?) >>>> >>>> There is no special name in RM 3.8, just "record". >>> >>> Ummmm. _LRM_'s ยง3.8 says nothing about your 'Class usage on untagged records. >> >> It says about records, all records including "untagged" ones. > > But not your 'Class for untagged records using your external-to-record tag. Yes, and? -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de