From: Keith Thompson <kst-u@mib.org>
Subject: Re: Sharing generic bodies across instantiations.
Date: Wed, 28 Jul 2010 13:01:43 -0700
Date: 2010-07-28T13:01:43-07:00 [thread overview]
Message-ID: <lnk4ofxtnc.fsf@nuthaus.mib.org> (raw)
In-Reply-To: 1e77bsd66fduw.dbrgbk4g2ce7$.dlg@40tude.net
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> On Wed, 28 Jul 2010 05:55:36 -0700 (PDT), Maciej Sobczak wrote:
>
>> On 28 Lip, 11:28, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
>> 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.
[...]
>> 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. Compilers and interpreters
are both implementations.
Either a compiler or an interpreter can be a compliant implementation
of a language.
If you think a compiler is required, consider a hypothetical system
in which the "compiler" simply creates a copy the source code, and
the run-time environment interprets and executes the source code.
Such an implementation wouldn't be easy to create, but I can't think
of any way in which it violates the standard for either C++ or Ada.
--
Keith Thompson (The_Other_Keith) kst-u@mib.org <http://www.ghoti.net/~kst>
Nokia
"We must do something. This is something. Therefore, we must do this."
-- Antony Jay and Jonathan Lynn, "Yes Minister"
next prev parent reply other threads:[~2010-07-28 20:01 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-07-27 0:51 Sharing generic bodies across instantiations Peter C. Chapin
2010-07-27 3:01 ` Gene
2010-07-27 6:55 ` AdaMagica
2010-07-27 11:29 ` Ludovic Brenta
2010-07-27 14:10 ` Tero Koskinen
2010-07-27 10:51 ` Martin
2010-07-27 20:06 ` anon
2010-07-27 22:23 ` Peter C. Chapin
2010-07-28 7:59 ` Maciej Sobczak
2010-07-28 9:28 ` Dmitry A. Kazakov
2010-07-28 12:55 ` Maciej Sobczak
2010-07-28 13:16 ` Dmitry A. Kazakov
2010-07-28 19:48 ` Maciej Sobczak
2010-07-29 8:03 ` Dmitry A. Kazakov
2010-07-29 14:02 ` Maciej Sobczak
2010-07-29 14:40 ` Dmitry A. Kazakov
2010-07-29 20:27 ` Maciej Sobczak
2010-07-30 9:09 ` Dmitry A. Kazakov
2010-07-30 12:31 ` Maciej Sobczak
2010-07-30 14:59 ` Dmitry A. Kazakov
2010-08-03 3:02 ` Randy Brukardt
2010-08-03 14:37 ` Robert A Duff
2010-08-03 2:47 ` Randy Brukardt
2010-07-28 20:01 ` Keith Thompson [this message]
2010-07-29 7:46 ` Dmitry A. Kazakov
2010-07-28 11:27 ` Peter C. Chapin
2010-07-28 13:10 ` Maciej Sobczak
2010-07-28 16:32 ` Peter C. Chapin
2010-07-28 19:30 ` Robert A Duff
2010-07-28 20:03 ` Maciej Sobczak
2010-07-28 11:47 ` anon
2010-08-03 2:38 ` Randy Brukardt
2010-08-03 14:31 ` Robert A Duff
2010-07-28 0:55 ` Keith Thompson
2010-07-28 8:42 ` Markus Schoepflin
2010-07-28 11:16 ` anon
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox