Eric Elliott has written excellent article about static types and why the feeling that they make us more productive may be wrong.
He points out that static types give you a false sense of security, despite undeniably true fast that static types catch a significant subclass of bugs.
He also notes that type correctness does not guarantee program correctness. Also offers answer to the question what really does reduce bug density… Test Driven Development (TDD). Specifically, test-first methodology.
He also mentions The Springer study – it showed 40% - 90% reduction in bug density relative to similar projects that did not use the test-first practice.
[Read More]