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

Reply via email to