From: Bill Findlay <yaldnif.w@blueyonder.co.uk>
Subject: Re: Generics vs. O-O?
Date: Thu, 01 Aug 2013 22:22:26 +0100
Date: 2013-08-01T22:22:26+01:00 [thread overview]
Message-ID: <CE209022.33930%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: fdf94891-3258-480d-a203-c157559e928f@googlegroups.com
On 01/08/2013 21:10, in article
fdf94891-3258-480d-a203-c157559e928f@googlegroups.com, "optikos@verizon.net"
<optikos@verizon.net> wrote:
> 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.
...
> Conversely, Ada utilizes a single instance of machine code & static data for
> an Ada generic, regardless of the type parameters passed at compile-time.
Thare is nothing like a well founded, penetrating analysis of language
semantics. And this is, indeed, nothing like one.
--
Bill Findlay
with blueyonder.co.uk;
use surname & forename;
next prev parent reply other threads:[~2013-08-01 21:22 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 [this message]
2013-08-01 23:38 ` Yannick Duchêne (Hibou57)
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