comp.lang.ada
 help / color / mirror / Atom feed
From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Generics vs. O-O?
Date: Fri, 02 Aug 2013 01:38:06 +0200
Date: 2013-08-02T01:38:06+02:00	[thread overview]
Message-ID: <op.w05vxsgoule2fv@cardamome> (raw)
In-Reply-To: fdf94891-3258-480d-a203-c157559e928f@googlegroups.com

Le Thu, 01 Aug 2013 22:10:39 +0200, <optikos@verizon.net> a écrit:

> On Thursday, August 1, 2013 2:24:57 PM UTC-5, Dmitry A. Kazakov wrote:
>> [... snip ...]
>> 5. Considering run-time effects generics obviously have none because it  
>> is
>> static polymorphism.
>> [... snip ...]
>
> Not so fast.  Your statement on your #5 is true for C++ templates, but  
> not true for Ada generics.  The difference is that instantiations by  
> different combinations of template-parameters of a C++ template result  
> in a combinatorial explosion of the quantity of instances of that  
> template's machine code & static data.
>
> Conversely, Ada utilizes a single instance of machine code & static data  
> for an Ada generic, regardless of the type parameters passed at  
> compile-time.  […]

Not sure “Ada utilizes” is correct, and rather “This/that compiler  
utilizes” is. What compiler do you use?


-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

  parent reply	other threads:[~2013-08-01 23:38 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-08-01 14:45 Generics vs. O-O? Eryndlia Mavourneen
2013-08-01 19:24 ` Dmitry A. Kazakov
2013-08-01 19:52   ` Eryndlia Mavourneen
2013-08-01 20:14     ` sbelmont700
2013-08-01 23:35       ` Yannick Duchêne (Hibou57)
2013-08-01 20:10   ` optikos
2013-08-01 20:26     ` Dmitry A. Kazakov
2013-08-01 20:35     ` Jeffrey Carter
2013-08-01 21:22     ` Bill Findlay
2013-08-01 23:38     ` Yannick Duchêne (Hibou57) [this message]
2013-08-01 22:20   ` Georg Bauhaus
2013-08-02  8:11     ` Dmitry A. Kazakov
2013-08-02  9:50       ` Georg Bauhaus
2013-08-02 14:09         ` Dmitry A. Kazakov
2013-08-02 15:08           ` Shark8
2013-08-02 15:36             ` Alan Jump
2013-08-02 17:00               ` Jeffrey Carter
2013-08-02 17:51               ` Dmitry A. Kazakov
2013-08-02 18:06                 ` Alan Jump
2013-08-02 19:08                   ` Dmitry A. Kazakov
2013-08-02 16:15             ` Dmitry A. Kazakov
2013-08-03  0:04       ` Yannick Duchêne (Hibou57)
2013-08-03  7:35         ` Georg Bauhaus
2013-08-03  8:57           ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox