[Haskell-cafe] Re: Tutorial on Haskell

No we don't! At least not anywhere near as much of an exaggeration as that statement would be about an strongly typed imperative language (sequencing can't be type checked*, imperative programs are mostly sequencing, thus imperative programs are mostly unchecked).

Actually, side effects *can* be type checked, but it's a lot more painful (the type of an assignment is not nearly as simple as the one you're used to). Stefan