> In fact over the past ten years I can only think of one time when a static type checker would've caught a bug that got as far as being committed. Then you re

> In fact over the past ten years I can only think of one time when a static type checker would've caught a bug that got as far as being committed. Then you really don't know how static types can help you.