>>810
つーか、多態だからといってオブジェクト指向なわけではないでしょ。
parametric polymorphismなんかはむしろ(非OOな)関数型言語だし、
operator overloadingやimplicit type conversionによるad-hoc polymorphismなんかはFORTRANからあるし。

>>810のCでの例はinclusion polymorphismの一種だね。
ただ、言語仕様でそれを積極的にサポートされてるかどうかは大きな違いだけど。