> Well, with Python, the compiler doesn't do type checking, so 100% coverage (or close) is very important. Intuitively I agree with you: In my personal experie

> Well, with Python, the compiler doesn't do type checking, so 100% coverage (or close) is very important. Intuitively I agree with you: In my personal experience, the more dynamically typed a language is, the more unpleasant surprises I get at runtime. Some years ago I did a project in MLTON [0], and I was delighted by how many bugs were caught at compile that that, in other languages, would likely go unnoticed until runtime. [0] http://www.mlton.org/ http://www.mlton.org/