Hacker News Reader

I'll be honest -- we've been using Flow for JavaScript on our team for a while and we can't get over a lot of the problems we run into with Flow. We have been considering moving to Typescript. I can't really see how adding a static type checker to Python will be any better.

I know it's probably better than nothing but if the same problems carry through, it'll be a pain.

View on HN

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.

Generally true but MyPy has some support for protocols http://mypy.readthedocs.io/en/latest/class_basics.html#proto...

Whoa, I didn’t realize structural subtyping had landed already. Thanks for sharing!

Reply on news.ycombinator.com