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: 103376,1a52c822fc0dbb23 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!news.germany.com!newsfeed2.scan-plus.net!newsfeed.ision.net!newsfeed2.easynews.net!ision!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Rational for not making cursor tagged in Containers Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <1176998738.656903.141250@q75g2000hsh.googlegroups.com> <1177010938.200523.325290@p77g2000hsh.googlegroups.com> Date: Thu, 19 Apr 2007 23:43:59 +0200 Message-ID: <1a8y2vakorfhx.225uqh4hifpd$.dlg@40tude.net> NNTP-Posting-Date: 19 Apr 2007 23:42:50 CEST NNTP-Posting-Host: 981d5b6f.newsspool2.arcor-online.net X-Trace: DXC=UE_SllfLLcU@>[RYkFXOIPA9EHlD;3YcR4Fo<]lROoRQ8kF On Thu, 19 Apr 2007 16:45:36 -0400, Robert A Duff wrote: >>> I'm not a big fan of prefix notation, by the way. >> >> It is not uncommon that different people have different thinking. For >> me prefixed notation clearly has advantages. Of course, I like to use >> them to the fullest :-) > > There is an advantage: If you have type P1.T1, with operation Mumble, > and P2.T2 extends P1.T1, and X is of type T2, do I say "P1.Mumble(X, ...)", > or "P2.Mumble(X, ...)"? It's confusing, because it depends whether Mumble > is class-wide or dispatching, which is a conceptually minor > distinction. And it's not unusual to change from dispatching > to class-wide. The notation "X.Mumble(...)" avoids that confusion. (it replaces one confusion with several others) > Nonetheless, it just seems weird to me to pretend that Mumble > is inside X, like a component. There must be a better way. The answer could be: fix renaming. The class-wide P1.Mumble should be automatically renamed to P2.Mumble and the result should not conflict with the original if the latter is visible. The rule could be that upon derivation all class-wides were renamed in the current scope. ---------- I think prefix notation is rubbish. There should be an abstract member interface allowing users creation of whatever "members" they wished. So if anybody liked prefix notation, he could say: Mumble implements ".Mumble." Done. Why should the language do this by default? -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de