Hacker News Reader

As we know no bugs are present in statically typed programs.

Nobody claimed that, but there definitely are fewer. 15% fewer according to the only study I've seen that objectively measured it.

Link? I'm not certain that there's a way to objectively measure that on a scale that matters.

Basically they took random JavaScript bugs and annotated them with Flow and Typescript type hints and then checked whether the bug was detected.

Pretty clever methodology really.

And then when things like dependent types get involved, I'm betting that the amount of bugs greatly decreases, even more than that.