Fri 09 Dec 2005 06:09:17 PM PST
Type checking and test-driven development
Bruce Eckel asks, "This became a puzzle to me: if strong static type checking is so important, why are people able to build big, complex Python programs (with much shorter time and effort than the strong static counterparts) without the disaster that I was so sure would ensue?"
...and links to Robert C. Martin, who asks, For many years we've been using statically typed languages for the safety they offer. But now, as we all gradually adopt Test Driven Development, are we going to find that safety redundant? Will we therefore decide that the flexibility of dynamically typed languages is desirable?
Bram Cohen on How to Write Maintainable Code—among other things, "Write test code" and "Write in an easy to maintain language".