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.9 required=5.0 tests=BAYES_00,NORMAL_HTTP_TO_IP,
	NUMERIC_HTTP_ADDR,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!t-online.de!tiscali!newsfeed1.ip.tiscali.net!proxad.net!proxad.net!newsfeed.arcor.de!newsspool2.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>
Date: Tue, 26 Dec 2006 10:11:11 +0100
Message-ID: <awny47urt66k$.1vuw1blk1ccth$.dlg@40tude.net>
NNTP-Posting-Date: 26 Dec 2006 10:11:08 CET
NNTP-Posting-Host: 75da50e8.newsspool1.arcor-online.net
X-Trace: 
 DXC=QC3TJF?3Q[0nBOkdL^Lo7>ic==]BZ:af>4Fo<]lROoR1^YC2XCjHcb94_YI3ie`jX5DNcfSJ;bb[5IRnRBaCd<M>Y@1P>`A5P7?RolQM9^aU_6
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8015
Date: 2006-12-26T10:11:08+01:00
List-Id: <comp.lang.ada>

On Tue, 26 Dec 2006 01:34:14 GMT, Hyman Rosen wrote:

> Dmitry A. Kazakov wrote:

>> But in foo<123>, 123 is not a name.
> 
> Why not? The integer 123 is the integer 123. If I say foo<123>,
> I get a composite name formed of foo and 123. What's the difference
> between the number 123 and the name 123?

Name (identifier) has referential semantics defined by the language.
Therefore when names are identical so are the language objects they refer
to. When you compare values of potentially different objects instead, then
the semantics of the comparison is not necessarily identity. In fact, it is
outside the language. This is why already foo<12.3> faces difficulties.
While foo<http://123.0.56.6> can't work at all.

>> Ask yourself, is it the only way?
> 
> No, but it's the only way that's simultaneously part of a systems
> programming language that I'd want to use anyway.

I don't see what systems programming has to do with templates.

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