Hacker News new | ask | show | jobs
by OutOfHere 400 days ago
It is more correct in a statistical sense over many programs.

Think back to Javascript and untyped Python (without type annotations). It is a lot easier to have bugs in these languages without types. Types help eliminate classes of bugs.