&gt; You can go to the other extreme by making everything explicitly statically typed which will make your code much more verbose (e.g. see Java).<p>Java is not an example of a good static typing implementation and is not exemplar of verbosity in modern statically typed languages.