One of the best OO languages out there is Eiffel, value types, DbC, MI, generics, lambdas, non-nullable references, a very nice graphical editor, JIT for development and AOT toolchain that pings back into the C and C++ compilers of the host platform.
Java and .NET are still catching up to what it offered in 2000.
Java and .NET are still catching up to what it offered in 2000.
Sadly it never got a big name sponsor to push it.