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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,c733905936c6b6b0 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.204.156.202 with SMTP id y10mr1777744bkw.1.1334684579860; Tue, 17 Apr 2012 10:42:59 -0700 (PDT) Path: h15ni134652bkw.0!nntp.google.com!news1.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.musoftware.de!wum.musoftware.de!newsfeed.straub-nv.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Tue, 17 Apr 2012 19:42:57 +0200 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:11.0) Gecko/20120327 Thunderbird/11.0.1 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: [OT] interesting reason why a language is considered good References: <8603135.951.1334573001928.JavaMail.geo-discussion-forums@vbbdy9> <4f8c06f5$0$7617$9b4e6d93@newsspool1.arcor-online.net> <14veb9cpamoda.ck9fbsd5m9m$.dlg@40tude.net> <4f8c3431$0$7627$9b4e6d93@newsspool1.arcor-online.net> <4f8c52b2$0$7627$9b4e6d93@newsspool1.arcor-online.net> <9s7d2eufbh6f$.1ivcyxfztaq42$.dlg@40tude.net> <4f8c93a0$0$6638$9b4e6d93@newsspool2.arcor-online.net> In-Reply-To: Message-ID: <4f8daba1$0$6559$9b4e6d93@newsspool4.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 17 Apr 2012 19:42:58 CEST NNTP-Posting-Host: c34014d1.newsspool4.arcor-online.net X-Trace: DXC=?N:N@J;^RHPaoembcbF;DQ4IUKgZAYnc\616M64>ZLh>_cHTX3j]ecmc_:RZ_?P X-Complaints-To: usenet-abuse@arcor.de Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Date: 2012-04-17T19:42:58+02:00 List-Id: On 17.04.12 09:34, Dmitry A. Kazakov wrote: > On Mon, 16 Apr 2012 23:48:15 +0200, Georg Bauhaus wrote: > >> On 16.04.12 20:00, Dmitry A. Kazakov wrote: >> >>> You asked for examples of programs allegedly suffering from generality of >>> the word "when", here is one: >> >> Actually I asked for programs that profit from generality of words >> like "when" used as identifiers. > > If you want to go that way, then I will ask you to show such programs for > "why", "whose" etc. It always works (does not, actually) in both ways. Same thing, I'll be happy if you have a list of convincing length showing programs that profit from "when", or "why", or "whose" in the same way; feel free to fist replace "when" with some word not in this set so that "when" does not become a dual use word (part of syntax and identifier). Unspecific, generic words just do not work well as identifiers. Be they "why", or "the", or "and", or "when". AFAICT, no one so far has cared about the direction of reasoning you keep bringing to the table. This is all about identifiers: There is a subset R of identifiers not working well and it happens to coincide with reserved words of Ada. There is another subset U of identifiers not working well either, but they are not reserved words of Ada. For w in R, bad wording is prevented (see below). For w in U, bad wording is not prevented (see below). If w is removed from R, and added to U, then the number of programs that can be written with bad wording will grow. The reasons for why w is in R has absolutely nothing to do with the consequences of moving w from R to U. >>> case Alignment is >>> when Left => ...; >>> when Right => ...; >>> when Middle => ...; >>> end case; >> >> What's the pain? > > Yes, what pain? Why this program didn't suffered from using the dreadful > "when"? "When" (like "at", or "from", or "why") is a generic, unspecific word that serves a purpose well, namely insofar as it is applicable to all kinds of programs. Being unspecific is a necessary precondition for a word to be applicable to all kinds of programs. (But unspecific, generic, does not mean meaningless. Try substituting other words, either equally unspecific such as "why", or a more specific such as "booyah", in place of "when". But this is all beside the point.) >> I have tried to explain that generic identifiers do not inform about >> specific things. > > And I answered that this does not make them *reserved*. Who cares? Making words reserved has nothing to do with the matter. It is all about the effects of making them *unreserved*. > See, it has nothing to do with the meaning of a word. The only reason why > "when" should possibly be reserved is on syntactic grounds. Again, not the point. "When" does not work well as a identifier. Context will help a lot when understanding some occurrence of "when". But Ada is not a language that has this "context principle" built in. So "when" alone is bound to be a failure, just as "why" is. case Foo is why Red => ...; case Foo is booyah Red => ...; I see more than syntax as the base for preferring "when" over "why", or "booyah". >> A graphical terminal on site? Wow! I am used to SSH. > > http://sourceforge.net/projects/xming + putty X11? Great. BTW, a fancy IDE will not convince me that the language's syntax should be changed in favor of appearance aided by a massively error checking source code editor.