> Pylint has nothing to do with catching type errors.

No, it does catch type errors, for example accessing methods that are not present in the object

> but there are reasons to write type-safe code.

Yes, and there are lots of languages that allow you that