Thanks for the nice example. I've heard of traits but hadn't read enough to know what they are. Looks like a form of multiple inheritance. The example you gave shows polymorphism via traits. That was helpful to me.
'Bimorphic', 'trimorphic', 'megamorphic' are all increasing degrees of 'polymorphism'. Something that is 'bimorphic' is also 'polymorphic', but is not 'megamorphic'.
They did not specifically state it but I believe he/she was referring to subtype polymorphism. Parametric polymorphism as you describe is far more useful imho.
reply