Re: tagged type as generic parameter

[Philippe Tarroux <philippe.tarroux@limsi.fr>]

Jeffrey R. Carter a �crit :
> Jean-Pierre Rosen wrote:
>> 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.
>
> Given the OP's comment that the formal is tagged so that he will be 
> able to build lists of the type implies that he comes from a 
> background in such a language.
What i wanted is not the "best" way to implement lists. I just wanted to 
explore this way. The strong OOP orientation is due to the fact that i 
tried this example after a discussion with one of my student arguing 
that Ada is too complex compared to Java. I wanted to explore '� la 
Java' solutions.
>
>> When you are lucky enough to have a language that supports multiple 
>> paradigms, composition has its value.
I agree too.

Philippe Tarroux