[Haskell-cafe] Re: Tutorial on Haskell
monnier at iro.umontreal.ca
Mon Apr 16 10:34:57 EDT 2007
> 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).
More information about the Haskell-Cafe