Steven D'Aprano wrote: > > And I don't think Haskell make the programmer do a lot of work(just > > because of its static type checking at compile time). > > I could be wrong, but I think Haskell is *strongly* typed (just like > Python), not *statically* typed. At least the "What Is Haskell?" page at > haskell.org describes the language as strongly typed, non-strict, and > allowing polymorphic typing. > What is your definition of statically typed ? The non-strict as far as I know is not referring to type checking. It does check type at compile time though it is quite different from language like C, Java, the polymorphic typing.
-- http://mail.python.org/mailman/listinfo/python-list
