[anonymouz]

What you describe is not a problem of statically typed languages in general, but of Java in particular.

Try Haskell for static typing done right.

[pjmlp]

Or any other language in the ML family.