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 hav

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.