4 ms·
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 c
by augbog 8y ago
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.
- weberc2 8y agoPython’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.
- agravier 8y agoGenerally true but MyPy has some support for protocols http://mypy.readthedocs.io/en/latest/class_basics.html#protocols-and-structural-subtyping http://mypy.readthedocs.io/en/latest/class_basics.html#proto...
- weberc2 8y agoWhoa, I didn’t realize structural subtyping had landed already. Thanks for sharing!