3 ms·
I really wish we had a ruff equivalent for python type checking, mypy is OK but it's really slow
by VeejayRampay 3y ago
I really wish we had a ruff equivalent for python type checking, mypy is OK but it's really slow
- maleldil 3y agoThere's pylyzer[0], but it's in the early stages. [0] https://github.com/mtshiba/pylyzer https://github.com/mtshiba/pylyzer
- networked 3y agoPyre, written in OCaml, is the closest thing that's stable. It has been discussed on HN a couple of times. Here is the 2021 discussion: https://news.ycombinator.com/item?id=27107647 https://news.ycombinator.com/item?id=27107647. Note that Pyre does not support Windows (https://github.com/facebook/pyre-check/issues/554 https://github.com/facebook/pyre-check/issues/554) and only provides wheels for x86_64 Linux and macOS (https://pypi.org/project/pyre-check/0.9.18/#files https://pypi.org/project/pyre-check/0.9.18/#files). While I don't use Windows, it makes me reluctant to adopt it. First, I want Windows users to be able to contribute to my projects that work on Windows. Mypy and (predictably) Pyright won't create an obstacle for Windows users. Second, the limited number of platforms makes Pyre seem a little internal-toolish. It may still be worth it. As of today, actually, one of my projects has a Pyre branch. I want to see what it is like developing with it.
- VeejayRampay 3y agothere's something a bit strange with pyre though, I feel like it makes it too difficult to check types in a subdirectory (like you have to provide a configuration or something) it works well and fast for a whole codebase though