>>26
Ditto. Static typing doesn't have to be synonymous with ugly verbosity (or verbose ugliness). In fact I find Haskell's type information actually makes it easier for me to figure out what code does, and to write correct functions.
I used to be a dynamic language fanboy, but now I'm of the opinion that dynamic typing is just an excuse not to implement a proper type system. Most people who rant about how awesome dynamic typing is are mainly just relieved to be away from the world of having to declare every damn thing and, worst of all, use type-casts when extracting stuff out of a collection that stores its shit as Objects or whatever. The first can be addressed by type inference, the second by generic functions and types.
So in conclusion GTFO with your Pythonic 'duck' typing.