On Wednesday 19 March 2008 00:14:30 [EMAIL PROTECTED] wrote: > Quoting Jeremy Shaw <[EMAIL PROTECTED]>: > > 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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
