Re: tagged type as generic parameter

[Jean-Pierre Rosen <rosen@adalog.fr>]

Dmitry A. Kazakov a �crit :
> However, these are certainly not the case for the OP's code. Because Item
> is private there and Data is constrained. And even if Item were visible,
> then the right way would likely be #2, because "anything tagged" as in OP's
> code does not tell much about the inherited semantics of list elements.
> 
> IMO, your understanding of OOP is quite right.
> 
Yeap. In these times where everybody is talking about OOP, people tend 
to move from "everything can be done with inheritance" to "everything 
must be done with inheritance". To be honnest, some languages offer 
inheritance as the only way, so there is no choice.

When you are lucky enough to have a language that supports multiple 
paradigms, composition has its value.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr