4 ms·

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

• IshKebab 5y ago
  Nobody claimed that, but there definitely are fewer. 15% fewer according to the only study I've seen that objectively measured it.
  • dunefox 5y ago
    Link? I'm not certain that there's a way to objectively measure that on a scale that matters.
    • IshKebab 5y ago
      https://ieeexplore.ieee.org/abstract/document/7985711 https://ieeexplore.ieee.org/abstract/document/7985711 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.
  • bitmapper 5y ago
    And then when things like dependent types get involved, I'm betting that the amount of bugs greatly decreases, even more than that.