Re: OO polymorphism  From: Lauri Alanko <la@iki.fi> > I was
having a minor terminological squabble with someone, and since
we > reached no solution, I thought to ask the experts. > Here's
the issue. In the object-oriented culture, "polymorphism" >
typically means dynamic dispatching: methods in subclasses can
operate > differently from methods in superclasses. The question
is: where does > this sort of behavior fit in the
Cardelli/Wegner taxonomy of different > kinds of polymorphism
[CW85]?  I must say that I also sometimes have trouble about how
to characterize OO polymorphism. Note that Cardelli&Wegner are
careful to state that their taxonomy is about type systems, not
language features. Yet it is strange to find there parametric
polymorphism, which usually is charaterized by coherence of the
implementation, rather than by the type system  For me there are
two distinct axes: * Universal (or F-style) polymorphism vs
inclusion (subtyping)   polymorphism. This is purely a type-
level distinction.   This is what