3 ms·
Having static types is like having an automatic, exhaustively comprehensive, efficient unit test generator for the classes of bugs whose units tests are the mos
by kibwen 3y ago
Having static types is like having an automatic, exhaustively comprehensive, efficient unit test generator for the classes of bugs whose units tests are the most boring and annoying to write and maintain. Static types don't prevent you from needing unit tests, they free you up to focus on writing tests that are actually interesting.
- deleted 3y ago[deleted]
- throwaway2037 3y agoI agree with your post. To be more specific, you can focus more on logic and state bugs.
- throwaway290 3y agoThis, but depending on how good the type system is and how well it's used most remaining interesting tests may be integration aside from legit things like https://news.ycombinator.com/item?id=38692634 https://news.ycombinator.com/item?id=38692634