in Java we've also found out that we check things at both compile time and runtimeStrange to have a discussion of static vs. dynamic typing without mentioning that some type systems are much more powerful than others.Haskell, Clean, OCaml (and potentially Nice) have type systems that are powerful enough to infer the types of functions and...

Will the next language be an attempt to combine ... ?Yes, an attempt to combine SQL, XML and OO ;-) Unifying Tables, Objects and Documentshttp://research.microsoft.com/~emeijer/Papers/oopsla.pdf