> I certainly hope that there are not many programmers thinking "if it compiles, it's correct" after having made their first logic error, though I realize some

> I certainly hope that there are not many programmers thinking "if it compiles, it's correct" after having made their first logic error, though I realize some Haskell programmers make statements that are close to that. No, the Haskell slogan is "If it compiles it works". "It works" is something quite different to "it is correct".