News for hackers. Stuff that matters.

A comment on Why Don't Software Developers Use Static Analysis Tools to Find Bugs?. Parent comment

Re:Why Don't Software Developers Use Static Analysis Tools t... by raz32dust on Friday June 26, 2015 @07:35AM (#9783605)
Then you indirectly agree that java code requires less tests, which means static typing helps!
[ Parent | on HN ]
Re:Why Don't Software Developers Use Static Analysis Tools t... by crdoconnor on Friday June 26, 2015 @08:31AM (#9783845)
Nope. The same tests you'd need anyhow to catch logic errors will end up catching type errors.

If a test becomes unnecessary if you have static typing then you should never have written it in the first place. It's a bad test.

[ Parent | on HN ]
Re:Why Don't Software Developers Use Static Analysis Tools t... by dllthomas on Sunday June 28, 2015 @03:28PM (#9794714)
"If a test becomes unnecessary if you have static typing then you should never have written it in the first place. It's a bad test."

That seems a very strong - and unsupported - claim. Could you elaborate?

[ Parent | on HN ]