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,a84eaf8fb2470909 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,UTF8 Path: g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!news.karotte.org!feeder06.uucp-net.de!news.uucp.at!news.albasani.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Ada generics Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <1166710494.869393.108730@a3g2000cwd.googlegroups.com> <1167150212.165097.289010@73g2000cwn.googlegroups.com> <1qmdvus6du3xu.1n21tzgev46ia$.dlg@40tude.net> <1167246396.057028.325080@48g2000cwx.googlegroups.com> <15jxp8z1iu5fk.1oeihvavjghgg$.dlg@40tude.net> <1167327306.22163.66.camel@localhost> <1on3cinnnckc5.1rxxvjhxs5qzl.dlg@40tude.net> <1167421145.30532.11.camel@localhost> <1167490403.26940.44.camel@localhost> <1a2r4wlgiett6.1w5j3q7696x72$.dlg@40tude.net> <1167732264.661.36.camel@localhost> <78t224mtd234.1e11h379pwu57.dlg@40tude.net> <1167741187.661.50.camel@localhost> <1167749126.661.91.camel@localhost> <1167836153.6124.37.camel@localhost> Date: Thu, 4 Jan 2007 11:15:22 +0100 Message-ID: <134i8cj41nzbb.ma3klv48zq74$.dlg@40tude.net> NNTP-Posting-Date: 04 Jan 2007 11:15:15 CET NNTP-Posting-Host: 2f77c0e4.newsspool1.arcor-online.net X-Trace: DXC=JlFgS^X3WmamFLa X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:8070 Date: 2007-01-04T11:15:15+01:00 List-Id: On Wed, 03 Jan 2007 15:55:54 +0100, Georg Bauhaus wrote: > On Wed, 2007-01-03 at 11:10 +0100, Dmitry A. Kazakov wrote: >> On Tue, 02 Jan 2007 15:45:27 +0100, Georg Bauhaus wrote: >> >>> On Tue, 2007-01-02 at 14:51 +0100, Dmitry A. Kazakov wrote: >>> >>>> I find "вода" far more descriptive! (:-)) >>> >>> I wouldn't hesitate to write "вода" in a Russian only program. >> >> Ah, but then you are in a big trouble, because "вода", "воде", "водой", >> "воды", "водами", "водах" would all be equivalent in terms of what they >> describe, i.e. "water", "lack of content", "confusion making", "being >> ignorant", "alcohol drink", "time passed", "equivalence", "being down"? >> Should Ada compilers learn Russian inflection rules? > > Declination etc. can be overcome by object oriented spelling. > Always use the nominative, and have ":=" etc. indicate the other > cases. :-) Nope, inflections is true and only OO! (:-)) You have an Indo-European root (=object) "вод" (or maybe "wodr"̥) and add a method using a suffix -а, -е etc! Positional systems like in English are old fashioned functional! (:-)) >>>> Natural language words (even pictographs) >>>> describe absolutely nothing but themselves. >>> >>> (How can you be certain of this? :-) >> >> As a proof consider a human being who does not know written Russian. > > So to a Russian, a Russian language word describes something. Right? It does something to anybody. Maybe, you could train a cat to recognize some of written words. That does not make them descriptive. >> And run into mess. Can you tell me what is what without resorting to a >> binary editor in the following: >> >> К, K, Κ, Қ > > Same as 1 and l, O and 0, nothing new here. No, it is not. There exist fonts where 1, l, I, | have recognizably distinctive glyphs. Differently to this, Cyrillic and Latin *share* letters and so glyphs of A, B, C, E, H, I, K, M, O, P, T, X. With this, ANY reserved word of Ada could be spelt in a way that at least one letter would be Cyrillic. That would make it a legal identifier, as Randy has confirmed. I consider this as a disaster. Not because I enjoy reserved words (a half of them are unnecessary anyway), but because it demolishes the foundations of the language design. > BTW, I don't need a binary editor for distinguishing similar shapes. > An editor that informs about its characters is enough. (This character > thing on the screen should be an object, anyway.) But that is obviously wrong! According to the Ada standard, Latin C and Cyrillic C are two different identifiers. Glyphs tell lies! >> Huh, none of these words is an *identifier*! They just don't use >> descriptive identifiers, neither for free variables, nor for functions. > > I was referring the the "uncompiled math source code" and its use > of full words in math declarations, definitions, proofs and so on. Such issues are to be covered by comments. In a comment you are free to place any stuff, except for playing with format effectors. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de