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,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!news.belwue.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
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="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1166710494.869393.108730@a3g2000cwd.googlegroups.com>
 <17fe4xfogg7p5.1dcyc5nyc2gsl.dlg@40tude.net>
 <1166805696.291429.239590@48g2000cwx.googlegroups.com>
 <wvsqamnzgasf.gfemd82fzfpz$.dlg@40tude.net> <DFQjh.1222$oo4.1118@trndny09>
 <186qujlcx6rwl.1h6eq4mbdaa5s$.dlg@40tude.net> <q__jh.5046$6Z5.3245@trndny01>
 <awny47urt66k$.1vuw1blk1ccth$.dlg@40tude.net>
 <1167150212.165097.289010@73g2000cwn.googlegroups.com>
 <1qmdvus6du3xu.1n21tzgev46ia$.dlg@40tude.net> <oekkh.5076$6f4.450@trndny08>
 <lbkjzskf2pv3$.b28bwviakyyb$.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>
Date: Sat, 30 Dec 2006 10:58:38 +0100
Message-ID: <uatj6qmz9ewl.jtzbkhivhvfu$.dlg@40tude.net>
NNTP-Posting-Date: 30 Dec 2006 10:58:27 CET
NNTP-Posting-Host: 1cd5cadd.newsspool4.arcor-online.net
X-Trace: 
 DXC=PaMLChQDjcf]l@YUW5NBkn4IUK<Cl32<a4Fo<]lROoRa4nDHegD_]Re[h\lHE9_Y^jDNcfSJ;bb[eIRnRBaCd<Mn[L@E[;0]dcg6C2S59G<CLm
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8044
Date: 2006-12-30T10:58:27+01:00
List-Id: <comp.lang.ada>

On Fri, 29 Dec 2006 20:39:05 +0100, Georg Bauhaus wrote:

> On Fri, 2006-12-29 at 15:48 +0100, Dmitry A. Kazakov wrote:
> 
>>> Is that what computer science has to answer when asked about
>>> characters handling?
>> 
>> No. CS is all about introducing formal languages in place of natural ones,
>> for obvious reasons.
> 
> But Unicode and/or ISO 10646 *are* formal things.

Well, well.

>> Corollary: never ever make a formal language (Ada) dependent on a natural
>> one (German). That would make the former natural.
> 
> I don't see how identifier rules are natural (not formal), whatever
> the natural language is that guides the choice of names in a
> particular program.

Because these rules are subject of endless chaotic political changes. Why
Ada should depend on them? For example, on decisions made by the German
Supreme Court, the federal Ministry of the Interior and Bild?

> Take Google as an example of why finding things that were spelled
> "incorrectly" is so immensly useful. And successful.

Do you want programming languages acting as google? PL/1? Although of
course it was unable to produce 200K+ interpretations of a three-word
program. No, as a language Google were extremely bad.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de