The only language I know of that has a reasonably usable version of it is Eiffel (probably Nit too, but I don't know enough about it http://nitlanguage.org). There is the diamond inheritance problem, the problem that inheritance (even in Smalltalk) mixes subtyping (interface extension) and reuse of implementation, problems of how to linearize method lookup, etc.