>I don't know about what the author's goals are, but I am in favor of offloading as much work to computer as possible. The problem is that both writing more te

>I don't know about what the author's goals are, but I am in favor of offloading as much work to computer as possible. The problem is that both writing more tests and statically typing your code involve extra code you need to write. Neither one comes for free.