Not impressed either. It also repeats the misconception that statically typed languages make it harder to do exploratory development. But with type inference, n

Not impressed either. It also repeats the misconception that statically typed languages make it harder to do exploratory development. But with type inference, not only do I not have to define my variable types up front, the type checking makes it very easy to explore and refactor code, especially when the exploration involves changing the types. Add in the ability of haskell to let you write your own control structures and do higher-level programming, and I find myself exploring and refactoring my code much more than I do when using a dynamic language.