If you're coming from a mathematical perspective (I should note that I didn't but kind of wish I did), then the Haskell type system has an additional advantage:

If you're coming from a mathematical perspective (I should note that I didn't but kind of wish I did), then the Haskell type system has an additional advantage: it's very obvious how Haskell types form a category and I've found it's very easy to visualize how functors, monads and so on "look" (for lack of a better term) on the category of Haskell types. Of course, I'm really trying to do the opposite--get a basic understanding of the math from using functors, monads and so on in Haskell. I also read about type theory for fun, so maybe I'm not the least biased person to ask about static typing :P.