"Richard A. O'Keefe" <ok at cs.otago.ac.nz> wrote:
[SNIP]
> Testing is important, but for situations where high reliability is
> really needed [%], it's not enough.  You need static checking AND testing
> because each catches problems the other doesn't.
> 
> [%] if high reliability were needed everywhere, some large software
> companies wouldn't have a market, would they?

As always - the right tool for the right job. :-) There are of course
situations where both a belt and suspenders are correct.

I just think more people should realize that static type checking can
also be a burden for a lot of situations. Especially when building
"information systems", which a lot of us do.

regards, Göran