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!h40g2000cwb.googlegroups.com!not-for-mail
From: "Hyman Rosen" <hyman.rosen@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada generics
Date: 28 Dec 2006 08:29:15 -0800
Organization: http://groups.google.com
Message-ID: <1167323355.701067.267200@h40g2000cwb.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>
   <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>
NNTP-Posting-Host: 204.253.248.208
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1167323360 29389 127.0.0.1 (28 Dec 2006 16:29:20
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 28 Dec 2006 16:29:20 +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: h40g2000cwb.googlegroups.com; posting-host=204.253.248.208;
   posting-account=lJDDWg0AAACmMd7wLM4osx8JUCDw_C_j
Xref: g2news2.google.com comp.lang.ada:8032
Date: 2006-12-28T08:29:15-08:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> They reap what they sowed. Should Ada or C++ go into that mess?

Well, they have. It comes of being unwilling to say to the rest of the
world that yes, this programming language is based on English, deal
with it. I expect that one day we will get many alternative sets of
keywords so that people can write "loop" and "type" and "generic" in
their own language.

> Huh, Ada.Numerics has pi and e...

I found this on the web:
    package Ada.Numerics is
    pragma Pure (Numerics);
        Argument_Error : exception;
        Pi : constant :=
3.14159_26535_89793_23846_26433_83279_50288_41971_69399_37511;
        e : constant :=
2.71828_18284_59045_23536_02874_71352_66249_77572_47093_69996;
    end Ada.Numerics;

Those look like rational numbers to me.

> Because when the program does not compile the programmer would not know if
> that was his bug or one of the compiler.

But that's already true. Many optimization techniques are NP-complete
and for certain cases they can take time exponential in the size of the
program.

> Consider numerous chains of [expensive] tools for template "optimization."

In fact, you can find discussions of C++ template techniques that are
analogous to consideration of ordinary algorithm complexity. You can
have templates that are like arrays, templates that are like linked
lists, and so on.