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!nx01.iad01.newshosting.com!newshosting.com!130.81.64.211.MISMATCH!cycny01.gnilink.net!spamkiller2.gnilink.net!gnilink.net!trndny08.POSTED!0e8a908a!not-for-mail From: Hyman Rosen User-Agent: Thunderbird 1.5.0.9 (Windows/20061207) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ada generics 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> <1qmdvus6du3xu.1n21tzgev46ia$.dlg@40tude.net> In-Reply-To: <1qmdvus6du3xu.1n21tzgev46ia$.dlg@40tude.net> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Wed, 27 Dec 2006 01:44:52 GMT NNTP-Posting-Host: 70.19.111.61 X-Complaints-To: abuse@verizon.net X-Trace: trndny08 1167183892 70.19.111.61 (Tue, 26 Dec 2006 20:44:52 EST) NNTP-Posting-Date: Tue, 26 Dec 2006 20:44:52 EST Xref: g2news2.google.com comp.lang.ada:8021 Date: 2006-12-27T01:44:52+00:00 List-Id: Dmitry A. Kazakov wrote: > The language should be defined in terms of code points. > The encoding of is irrelevant. And non-type template parameters are defined in terms of their values. The expression used to formulate them is irrelevant. An arbitrary-precision rational number package would be enough to make floating-point template parameters be portably defined. It's just not worth the work. > matching by structure To say that 1 + 1 and 2 are equivalent isn't matching by structure as far as I'm concerned, but we're not going to agree on that one. > 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 ... What's the problem with that? It's a compile-time operation on constants. The compiler will just trundle along and it will either halt, run out of resources, or continue running forever. All language standards allow compilers to impose resource constraints on the programs being compiled.