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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.ams.giganews.com!nntp.giganews.com!feeder.erje.net!eu.feeder.erje.net!news-1.dfn.de!news.dfn.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Bill Findlay <yaldnif.w@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Generics vs. O-O?
Date: Thu, 01 Aug 2013 22:22:26 +0100
Message-ID: <CE209022.33930%yaldnif.w@blueyonder.co.uk>
References: <6238c325-79c5-4537-ba55-2800110dc6df@googlegroups.com>
 <1wugpqyea6s39$.e2e8eshup5wn$.dlg@40tude.net>
 <fdf94891-3258-480d-a203-c157559e928f@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Trace: individual.net P8A76SsrXNDk8erd1vfa0wtlI2d4QyjvtCGg60EFQ8thyXwubX
Cancel-Lock: sha1:nTAm1oXvaAO077VbH1YbxYF3LAk=
User-Agent: Microsoft-Entourage/12.36.0.130206
Thread-Topic: Generics vs. O-O?
Thread-Index: Ac6O/TgiLwGWqp7/T0GWw0UD4uG7Xw==
Xref: number.nntp.dca.giganews.com comp.lang.ada:182807
Date: 2013-08-01T22:22:26+01:00
List-Id: <comp.lang.ada>

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;