In response to Charles’s post, Type Inferencing in Java.
+1
A moderate amount of type inferencing would be nice, but I suspect that we would soon be demanding even more.
Type inferencing is currently receiving attention in the Python world, where it is being used to make execution more efficient, by specialising the generated bytecodes for the types the code actually deals with. It would make many people pause for thought if it also made some compile time type checking possible.
(I did write this in a comment, but Fishbowl’s comment cgi script was AWOL.)