[Haskell-cafe] Dynamic typing makes you more productive?
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?
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
More information about the Haskell-Cafe