I find that is a far less common problem than the documentation being wrong. Even if someone doesn't add documentation for some library, static types provide a

I find that is a far less common problem than the documentation being wrong. Even if someone doesn't add documentation for some library, static types provide a lot more insight into how it works than dynamic languages (Racket style contracts are even better since they can check way more than static types while still working in a first class way with docs).