I happen to give a talk just yesterday that was about pretty much this (
https://github.com/DavidMertz/PythonRuntimeTyping; hopefully PyCon MEA
publishes video after a bit).
I illustrate checking the same program using mypy, pytype, and pyright.
There is a lot of overlap in what they flag as probl
Static type analysis is still experimental in Python.
Evidence for this is that there ARE multiple type checkers, and they don’t
all behave the same way.
It really needs to settle down before there is a single “official” type
checker.
Also: Static type checking is optional in Python. There are t
I’m doing some research on Python type annotations recently.
I found that, some dynamic typing related bugs can be effectively avoided in
the early stages of code development,
by adding type annotations to Python code and applying some type checking tools
(such as MyPy, PyType, Pyright, and Pyre
