[huherto]

What do you mean Java and C++ implement static typing poorly? C++ has some trade offs in order to be compatible with C. The Java static typing seems pretty good to me.

[leadnose]

Maybe I should have said "they don't have type inference".