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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,a41c4a2c795dbe34 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!usenet-fr.net!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!feeder.news-service.com!94.75.214.39.MISMATCH!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Will "renames" increase program size? Date: Thu, 16 Jun 2011 20:53:57 +0200 Organization: cbb software GmbH Message-ID: References: <46294109-f07d-49c0-8e81-65a369a05ced@z15g2000prn.googlegroups.com> <1ayjsy885qg2b$.13bmeo97hbau1$.dlg@40tude.net> <316ac8ed-1ded-43d0-98d1-36bb2c0221ad@f2g2000yqh.googlegroups.com> <2e8222df-9b82-497f-9dc4-5cb0d5653550@f31g2000pri.googlegroups.com> <1t5j5p8gurul3$.k4cq2qnsbbjb.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: r4+jMptzOJ3b6T4HWw+5pg.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: g2news1.google.com comp.lang.ada:19885 Date: 2011-06-16T20:53:57+02:00 List-Id: On Thu, 16 Jun 2011 10:42:01 -0700 (PDT), Adam Beneschan wrote: > you seem to > be defining terms with regard to how you see the world and what > pictures go on in your head when you think about a program's > semantics. How could it be otherwise? > So in this context, I can kind of understand why you'd > think of a "return object" as somehow belonging inside the function > and thus being a separate object from the object that holds the > function result from the caller's point of view. And in this view, > sure, there would be a copy. But all this is just based on how you > see the world, not on anything objective. The only really objective > definitions we have here are the ones given by the RM. How would you define a "language design bug" based on the RM itself? Renaming in Ada has problems with its semantics, same is true for the return statement, in my opinion. This opinion cannot be based on the RM. It is based on an interpretation of the RM in some much wider context. Call it confusion or common sense, no matter. You might think that in your opinion Ada's renaming is just perfect. But exactly like mine your opinion is also based on your world view rather than on the RM. It would be useless to discuss Ada's concept of renaming (or function result, or anything else) in the terms of the RM, because in this context it neither right or wrong, it just is as it is. > I can understand why you might look at things differently; but > it's hard for me to see how any conclusions that you draw, that are > based on your own meanings of the terms derived from your own pictures > of the world, are going to be of much use to anyone else. It is good enough to me, that you can understand why I see problems with renaming. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de