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,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM 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!postnews.google.com!73g2000cwn.googlegroups.com!not-for-mail
From: "Hyman Rosen" <hyman.rosen@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada generics
Date: 26 Dec 2006 08:23:32 -0800
Organization: http://groups.google.com
Message-ID: <1167150212.165097.289010@73g2000cwn.googlegroups.com>
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>
NNTP-Posting-Host: 204.253.248.208
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
X-Trace: posting.google.com 1167150216 17416 127.0.0.1 (26 Dec 2006 16:23:36
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 26 Dec 2006 16:23:36 +0000 (UTC)
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.1;
 .NET CLR 2.0.50727) Gecko/20061204 Firefox/2.0.0.1,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: 73g2000cwn.googlegroups.com; posting-host=204.253.248.208;
   posting-account=lJDDWg0AAACmMd7wLM4osx8JUCDw_C_j
Xref: g2news2.google.com comp.lang.ada:8017
Date: 2006-12-26T08:23:32-08:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> 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.

I think the issue here is not unlike that faced by programming
languages when dealing with Unicode in identifiers. (I took a quick
glance through AI-285.) There are potentially several ways that a
character can be written in the source text, and the compilers must
decide what it is that is written, and which forms must be considered
identical and which distinct. There is certainly no problem in defining
by fiat the semantics for doing template floating-point arithmetic, but
the committee didn't think it was worth the effort. It's the sort of
thing that Ada goes through with its universal floats, but at least
there the application is of wider use.

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

C++ was written as an enhancement for people already using C. It gave
those people a great deal of extra expressive power, but they would not
have given up what they already had.