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!t-online.de!news.karotte.org!news2.arglkargh.de!noris.net!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="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> <186qujlcx6rwl.1h6eq4mbdaa5s$.dlg@40tude.net> <1167150212.165097.289010@73g2000cwn.googlegroups.com> Date: Tue, 26 Dec 2006 20:28:36 +0100 Message-ID: <1qmdvus6du3xu.1n21tzgev46ia$.dlg@40tude.net> NNTP-Posting-Date: 26 Dec 2006 20:28:32 CET NNTP-Posting-Host: 1dc858ae.newsspool3.arcor-online.net X-Trace: DXC=H;_bEEIJ=X=RLigj];iP=8McF=Q^Z^V384Fo<]lROoR1gUcjd<3m<;28C0aiKS;9Q>[6LHn;2LCV>[ On 26 Dec 2006 08:23:32 -0800, Hyman Rosen wrote: > 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. I didn't look at the AI, but it is definitely a different problem. The language should be defined in terms of code points. The encoding of is irrelevant. When some sequences of code points (=words) are considered equivalent in the language like | and ! are in Ada, that is not yet matching by structure. It were if Ada would be defined in terms of glyphs. Fortunately it is not. > 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. We are talking not about floats, but about the principle of matching by content. There is no any chance to hold on it: template

void foo ... >> 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. This is a different statement, which sounds a bit silly in the context of the thread. Basically it is - many who learned C as the first language were so devastated by this experience, so it would be just inhumane to ask them to lean anything else. For this reason they must face that horror time and again. I cannot judge. I am not a psychoanalytic, nor C was my first. (:-)) -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de