On Tue, Aug 11, 2009 at 11:20:02PM +0100, Philippa Cowderoy wrote: > Matthias-Christian Ott wrote: >> What has Haskell to provide what Common Lisp and Dylan haven't? > Static typing (with inference). Very large difference, that.
That's true. This is a big advantage when compiling programmes. But as far as I know type inference is not always decidable in Haskell. Am I right? Dylan does type inference too and Hannes Mehnert is currently working on better type inference for the dylan compiler [1]. Regards, Matthias-Christian [1] https://berlin.ccc.de/wiki/Dem_Compiler_beim_Optimieren_zuschauen _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe