Java has Scala and .NET has F#. Both of these languages are very highly integrated into the respective Java and .NET platforms. Classes can be written in Scala then extended i
Ah, something else. Although this certainly isn't what you meant, template metaprogramming in C++ is purely functional.