Many statically typed languages have excellent library support. At this point Java, for example, has all of the libraries that Python has, and more.

Not only excellent library support, but also a large array of productivity tools ranging from superb IDE, static code analysis, build+dependency tools, great Continuous Integration, etc.

Haskell also has (pretty) good library support (talking about "batteries included")

there are also a lot of libraries for the .net platform outside the framework itself , too

It's mainly a bad impression then, that w/ Python every document is to the point and with Java an outsider can't do anything?

I'll try to build my next project on top of github.com/codahale/dropwizard

You should look at the work on pypy; specifically the RPython subset of python. It uses type hinting for static type analysis for the JIT compiler. It's not as hardcore as a fully statically typed language like ML or C but it will catch mistakes in mixing types.

See http://doc.pypy.org/en/latest/rtyper.html

Not to push the issue, but Go's standard libraries are fairly decent for being minimal and are dead simple to use. The docs have a good mix of examples and quickly parseable information.

How about IDE's? Does Go have good Emacs/Eclipse support yet?

I'm extremely happy with nsf's gocode [1] adding auto-complete support to Sublime Text and Vim. It's quite nice. Go, itself (from `hg`), has syntax support for vim and (I think) an emacs plugin. There's also a Goclipse modified Eclipse install which I don't know much of anything about.

There are others, [2]

I mean, there certainly isn't a complete equivalence of Eclipse for Go (yet?).

[1]: https://github.com/nsf/gocode

[2]: http://go-lang.cat-v.org/dev-utils http://go-lang.cat-v.org/text-editors/ etc, etc