[jahewson]

> People are far too obsessed with static type checking. A lot of this time would be better spent invested in live debugging tools.

I disagree. Time spent debugging is time wasted. It's a non-repeatable sunk cost. Don't get me wrong, I love debugging - it's like solving a mystery in real-time - but the competitor to existing debuggers is not a better debugger, it's to obviate the need for one.