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

On Wednesday 19 March 2008 00:14:30 ajb@spamcop.net wrote:

Quoting Jeremy Shaw :

...

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