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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham 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!nx02.iad01.newshosting.com!newshosting.com!news-peer0-test!btnet-feed5!btnet!carbon.eu.sun.com!news.uni-stuttgart.de!news.belwue.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Ada generics
From: Georg Bauhaus <bauhaus@arcor.de>
In-Reply-To: <1on3cinnnckc5.1rxxvjhxs5qzl.dlg@40tude.net>
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>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Organization: #
Message-ID: <1167421145.30532.11.camel@localhost>
Mime-Version: 1.0
X-Mailer: Evolution 2.6.1 
Date: Fri, 29 Dec 2006 20:39:05 +0100
NNTP-Posting-Date: 29 Dec 2006 20:38:51 CET
NNTP-Posting-Host: 828f7ec3.newsspool2.arcor-online.net
X-Trace: 
 DXC=GNA>_caTd:lPXlQ;h]GTMdA9EHlD;3Ycb4Fo<]lROoRaFl8W>\BH3YbNhW=8PdbJZ`N[W<lHX`=Bd\6BhD5G6\ilI`904N;VOBh
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8040
Date: 2006-12-29T20:38:51+01:00
List-Id: <comp.lang.ada>

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.

> 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 of I18N efforts
tool makers can do some work to make programming easier for humans,
even if this means supporting more than the most trivial
interpretation of character bit patterns.

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