OO in Python? ^^

[bonono at gmail.com]

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.