Inheritance?

[Ulrich Hobelmann]

The TUNES glossary states that inheritance as subtyping doesn't work
with static languages like
C++ or Java... In what way? Somehow I don't get this, but then I have
too much aversions to actually
try to program in these languages, to try it out...
I'm asking this, because I like most static languages out there (ML,
Haskell), mostly for compile
efficiency, but what exactly is the diff btw. say, OCaml, and Java OO,
apart from the functional aspects,
and ML being actually _more_ static (compile-time) than Java?
Regards, Ulrich