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

Jon Harrop jon at ffconsultancy.com
Tue Mar 18 21:43:12 EDT 2008


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


More information about the Haskell-Cafe mailing list