Python’s type checking story is pretty painful right now, partly because the typing library has a lot of confusing corners, MyPy (the reference type checker imp

Python’s type checking story is pretty painful right now, partly because the typing library has a lot of confusing corners, MyPy (the reference type checker implementation) is pretty buggy, the rules are limiting (no support for interfaces/protocols and no recursive types), and magical code like SQLAlchemy simply can’t be type-stubbed. These are all tractable problems, so I don’t see a theoretical problem; however without more info on your flow issues I can’t make a good comparison.