News for hackers. Stuff that matters.

A comment on Adoption of Mypy for Python type checking: 45% already use it, 40% don't plan to. Parent comment

Re:Adoption of Mypy for Python type checking: 45% already us... by jraph on Sunday March 21, 2021 @01:40PM (#26532232)
I think so. When typing checking a project, its dependencies don't get type checked as well as far as I know. Type errors in dependencies are kind of not relevant for you, and many dependencies are not type-annotated anyway.
[ Parent | on HN ]
Re:Adoption of Mypy for Python type checking: 45% already us... by ali_m on Sunday March 21, 2021 @02:29PM (#26532653)
Well you probably do still want the type checker to at least look at the public interfaces of any libraries you depend on, since you want it to enforce that you're calling into them correctly.
[ Parent | on HN ]
Re:Adoption of Mypy for Python type checking: 45% already us... by jraph on Sunday March 21, 2021 @02:38PM (#26532735)
Absolutely. It should probably not report errors that are not in your code, by default anyway, but still extract information about typing relevant to you as much as it can.
[ Parent | on HN ]