Re: [Haskell] pros and cons of static typing and side effects ?

Bulat Ziganshin <bulatz@HotPOP.com> writes:

I can quote someone from this list: "if haskell compiler allow my program to be compiled then I know that there is no more errors in it".

I wish quotes like this weren't bandied about without mentioning that they almost entirely, but not quite, true. Of course many programs that compile have bugs in them! A more accurate statement is that static typing catches a lot of trivial errors, and can be leveraged to make more complex errors less likely to occur and faster to track down. -k -- If I haven't seen further, it is by standing in the footprints of giants