"Pike is very similar to C#. In fact, one could easily think that some engineers at Microsoft and the other companies behind C# were Pike-users..."
"O'Caml has lots of modern features, like garbage collection (as in Java), closures (lacking in both Java and C++), parametrized modules (like C++ templates on steroids), automatic type inference (you don't have to write typing information by hand, the compiler can figure it out)..." --O'Caml FAQ