Bulat Ziganshin <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell