[Haskell-cafe] Re: Tutorial on Haskell

Stefan Monnier 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).


        Stefan



More information about the Haskell-Cafe mailing list