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=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,735c710b5e547bad X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.180.95.2 with SMTP id dg2mr927701wib.2.1343267627667; Wed, 25 Jul 2012 18:53:47 -0700 (PDT) Received: by 10.66.77.101 with SMTP id r5mr1217230paw.27.1343267626721; Wed, 25 Jul 2012 18:53:46 -0700 (PDT) MIME-Version: 1.0 Path: q11ni66821147wiw.1!nntp.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!q21no5675464qas.0!news-out.google.com!b9ni60424133pbl.0!nntp.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!ctu-peer!news.nctu.edu.tw!goblin1!goblin.stu.neva.ru!nuzba.szn.dk!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Ada 2005 puzzle Date: Thu, 19 Jul 2012 21:22:27 -0500 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <1arp60wtxes8h$.1qs6bt732ztgp.dlg@40tude.net> <030cde76-7435-405d-9f12-ac7f730ecab8@googlegroups.com> <1f9q6vk5z2r3t$.1hayo9rmxfwu7$.dlg@40tude.net> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: munin.nbi.dk 1342750953 15685 69.95.181.76 (20 Jul 2012 02:22:33 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Fri, 20 Jul 2012 02:22:33 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 Date: 2012-07-19T21:22:27-05:00 List-Id: "Dmitry A. Kazakov" wrote in message news:wd9m63dfb4hn.1feik6xrauuel$.dlg@40tude.net... > On Thu, 19 Jul 2012 01:53:35 -0500, Randy Brukardt wrote: ... >> My personal feeling always was that this restriction was not acceptable, >> but >> I couldn't explain why. Thus, I think it would be a good idea to send >> your >> problem to Ada-Comment, so that the ARG can consider the problem. I'm >> pretty >> sure that your example is reasonable in all respects, and I can't figure >> out >> any good reason that you shouldn't be able to do it. > > ARG should concentrate on the real problem instead. Which is: > > It shall be possible to write a constructing function for any type derived > from a type having a constructing function. The ARG isn't going to do anything unless real users (like yourself) report reasonable examples that don't appear to be possible with the current rules. Generally, we're not interested in *solutions* from the public (we're happy to figure out the best solution for the language as a whole), but we are interested in *problems*. So far as (most) of the ARG is aware, there is no problem with this feature, and in the absence of reports of real problems I doubt that anything will change. ... > Why not to fix that too? Objects with the no-copies semantics are > everywhere. Larger/complex the object become, less likely anybody would > copy it. Clearly, Ada as a language for *large* projects shall support > this. It can't be fixed; you almost always need copying in some circumstances. The language definition admits this with the notion of build-in-place. I personally don't believe that there are truly no-copy objects; the issue is that it is *easier* to define them that way, and it often isn't worth the effort to make an appropriate assignment abstraction. (Claw could not work sanely with limited windows, and the implementation effort to provide non-limited windows was insane. So neither option really works -- I don't see a way to eliminate this.) > There should have been no limited returns and no limited aggregates in > first place. But since ARG decided to invent the mess for the purpose > object construction, it is now the ARG's problem to live up to the > promise. As I said, you need to report problematical examples to the ARG (via Ada-Comment). So far as we know, limited aggregates work just fine... (I've never had any problems with them, for example.) And if you expect me to take your problems to the ARG, let me say that they will have a lot more weight if they come from real Ada users and not just me (or Adam, or Bob, all of whom are "tainted" as implementors). Randy.