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,e93f73587e2bc1c3 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!194.134.4.91.MISMATCH!news2.euro.net!newsfeed.freenet.ag!news.netcologne.de!ramfeed1.netcologne.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Sharing generic bodies across instantiations. 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: <4c4e2d69$0$2378$4d3efbfe@news.sover.net> <4c4f5c28$0$2375$4d3efbfe@news.sover.net> <7da1e21f-bec7-4607-923c-0fd6cbcfc753@t10g2000yqg.googlegroups.com> <1vjqnwxhvr91j.3e8ryvkk8ezv$.dlg@40tude.net> <1e77bsd66fduw.dbrgbk4g2ce7$.dlg@40tude.net> Date: Thu, 29 Jul 2010 09:46:08 +0200 Message-ID: <1ujahmhp6ucu6$.uy1rnhhnrxx0$.dlg@40tude.net> NNTP-Posting-Date: 29 Jul 2010 09:46:08 CEST NNTP-Posting-Host: 931bfbd6.newsspool3.arcor-online.net X-Trace: DXC=EA5:?1Lieg>nBOkdL^Lo7>McF=Q^Z^V384Fo<]lROoR18kF[6LHn;2LCV>7enW;^6ZC`4\`mfM[68DC3a2LoBFkMYC> X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:12654 Date: 2010-07-29T09:46:08+02:00 List-Id: On Wed, 28 Jul 2010 13:01:43 -0700, Keith Thompson wrote: > "Dmitry A. Kazakov" writes: >> On Wed, 28 Jul 2010 05:55:36 -0700 (PDT), Maciej Sobczak wrote: >> >>> On 28 Lip, 11:28, "Dmitry A. Kazakov" >>> wrote: >>> >>>>>> That is, the nature of C++ essentially requires a >>>>>> replication strategy. >>>> >>>>> Why? What part of that "nature" requires it? >>>> >>>> Macro's nature >>> >>> Wrong. Macros have nothing to do with templates. >> >> They have the nature of source level uncontrolled and untyped substitution >> and reinterpretation. > > Macros do. Templates don't. They do. The only limit put on the substitution is that the reinterpretation does not fail. There are no traces of any semantics in the declaration of the template parameters. Generics suffer this too, but to a lesser extent. >>> A C++ or Ada interpreter can be fully standard-compliant, which makes >>> it a very valid "starter" in this context. >> >> Interpreter does not qualify as a compiler, per definition of both. You >> might say that apple is as edible as orange, but that would not make it >> orange in the context of the greengrocery. > > Apples and oranges are both fruits. So what? You don't pay for apples when buy oranges. > Compilers and interpreters are both implementations. It is about the implementation to take. The question was about shared implementation of generics. Certainly, expanded implementations do implement generics, or at least we hope so... -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de