comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: New copying license for classes/modules: CGPL
Date: 1997/09/17
Date: 1997-09-17T00:00:00+00:00	[thread overview]
Message-ID: <dewar.874545696@merv> (raw)
In-Reply-To: 341EABAB.41C67EA6@eiffel.com


Bertrand said

<<As far as I understand the discussion, the problem will not
arise for Eiffel. The language is designed so that the code of
generic classes need not be duplicated for different
"generic derivations" of the same generic class
(i.e. different types obtained by providing different generic
parameters, as in LIST [BOAT] and LIST [PERSON]).
Our implementation, and I believe others too, indeed do not
duplicate the code in such cases. Nor is there any need to
"copy the code into your program".>>

Right, this kind of genericity is easily achieved with shared code. Of course
Ada genericity is quite a bit more extensive, and for example, even in the
simple case of a generic instantiated with two different floating-point
precisions, the only path to efficient code is duplication.

This is ONLY an efficiency issue, there is nothing in Ada which requires
code duplication. Some compilers use macro substitution always, some use
shared code always, some pick and choose, are the user can control which.





  parent reply	other threads:[~1997-09-17  0:00 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-09-13  0:00 New copying license for classes/modules: CGPL Wouter Scholten
1997-09-14  0:00 ` Robert Dewar
1997-09-16  0:00   ` Bertrand Meyer
1997-09-17  0:00     ` Joerg Rodemann
1997-09-17  0:00       ` Enforcing assertions in Eiffel Joachim Durchholz
1997-09-29  0:00         ` Joerg Rodemann
1997-09-30  0:00           ` Joachim Durchholz
1997-10-01  0:00             ` Jon S Anthony
1997-10-09  0:00               ` JOVIAL (J3) John R. Fluharty, Jr
1997-10-01  0:00           ` Enforcing assertions in Eiffel Morgan Palaeo Associates
1997-10-01  0:00             ` Joerg Rodemann
1997-10-01  0:00               ` W. Wesley Groleau x4923
1997-09-17  0:00     ` Robert Dewar [this message]
1997-09-17  0:00     ` New copying license for classes/modules: CGPL Robert Dewar
replies disabled

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