i'm a huge fan of python, and yet, after just the most superficial introduction to haskell i couldn't agree with you more.

i don't think it is the static typing alone that saves time, though. it is the static typing plus type inference.