[Haskell-cafe] Dynamic typing makes you more productive?

[Jon Harrop]

On Wednesday 19 March 2008 00:14:30 ajb at spamcop.net wrote:
> Quoting Jeremy Shaw <jeremy at n-heptane.com>:
> > I like to imagine it works like this:
> >
> > bad static type < dynamic typing < good static typing.
>
> More succinctly:
>
>      Algol < Smalltalk < ML
>
> Or perhaps:
>
>      C < Ruby < Haskell

What are the requirements to make static typing "good"? Is it type inference? 
If so, is Scala's type inference enough? Are polymorphic variants necessary? 
Type classes?

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e