News for hackers. Stuff that matters.

A comment on On Go. Parent comment

Re:On Go by nknighthb on Sunday June 02, 2013 @12:02PM (#5808965)
You can't stop people from being lazy. Look at all the Java and Python code that forcefully ignores exceptions.

It is something that can be caught with static analysis, however. Someone recently put together an appropriate tool[1] for Go, in fact. It seems to work very well.

[1]https://github.com/kisielk/errcheck

[ Parent | on HN ]
Re:On Go by pcwalton on Sunday June 02, 2013 @01:24PM (#5809313)
To be fair, the ability to use static analysis for error code checking is not something that is unique to Go. There was a paper recently on doing this for C (which found hundreds of bugs in the Linux kernel due to incorrect error code handling):

http://pages.cs.wisc.edu/~liblit/ghc-2011/ghc-2011.pdf

(Incidentally, the hard part of this analysis is not verifying that you checked the error, it's verifying that you propagated the error codes properly—that requires analyzing higher-order control flow.)

[ Parent | on HN ]
Re:On Go by MetaCosm on Sunday June 02, 2013 @03:46PM (#5809809)
Go AST is something that I think will really help as it grows for writing great tooling.
[ Parent | on HN ]