[Haskell-cafe] Re: Tutorial on Haskell

[Stefan Monnier]

> 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