Re: tagged type as generic parameter

["Jeffrey R. Carter" <spam.jrcarter.not@acm.nospam.org>]

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.

> When you are lucky enough to have a language that supports multiple 
> paradigms, composition has its value.

I agree. Programming by extension, emphasizing, as it does, ease of writing over 
ease of reading, should be avoided whenever possible by SW engineers, and used 
with the same reluctance and care that they give to gotos and access types.

-- 
Jeff Carter
"Have you gone berserk? Can't you see that that man is a ni?"
Blazing Saddles
38