In the absence of evidence, what else do you have besides experience and intuition? I'm not actually making a claim one way or the other, I'm rather questioning one argument in favor of static typing. There are other…
Test coverage is crucial as code matures and is finalized, not necessarily when it is prototyped - which is exactly where a type system gets in the way. I disagree with the idea that you need to write more tests because…
You're not writing tests to catch type errors. You write tests that actually use your code, where a type error will almost certainly be picked up. Chances are however, your type error will already occur the first time…
Where is the evidence that static typing results in a net benefit? There's some evidence that points in the opposite direction: http://games.greggman.com/game/dynamic-typing-static-typing/ When a language imposes static…
In the absence of evidence, what else do you have besides experience and intuition? I'm not actually making a claim one way or the other, I'm rather questioning one argument in favor of static typing. There are other…
Test coverage is crucial as code matures and is finalized, not necessarily when it is prototyped - which is exactly where a type system gets in the way. I disagree with the idea that you need to write more tests because…
You're not writing tests to catch type errors. You write tests that actually use your code, where a type error will almost certainly be picked up. Chances are however, your type error will already occur the first time…
Where is the evidence that static typing results in a net benefit? There's some evidence that points in the opposite direction: http://games.greggman.com/game/dynamic-typing-static-typing/ When a language imposes static…