3 ms·
Have you looked at the tools recently? LSP + Pyright is very fast and plugins exist for many editors. Or maybe it's slow on larger codebases or very large files
by seti0Cha 4y ago
Have you looked at the tools recently? LSP + Pyright is very fast and plugins exist for many editors. Or maybe it's slow on larger codebases or very large files? I don't have that broad an experience yet, but so far it's been very good.
- the_af 4y agoSorry, I wasn't clear: I want command-line tooling for the build pipeline, not for the IDE or any individual developer.
- ledauphin 4y agomypy is quite fast at the command line. certainly fast enough for CI usage, where speed is generally less critical than in an IDE.
- the_af 4y agoNot my experience!
- Bedon292 4y agoWhat speed are you looking for in your CI pipline that you are not getting from mypy? Perhaps you are working on a much larger codebase than I am but the app I use it in takes under a minute. And all the unit tests take longer to run.
- deckiedan 4y agoA 25k LOC Django project - takes 15-20 minutes to run mypy... Unit tests take about 3 minutes. That's locally on a fast (ish) laptop. GH CI takes 10 minutes to run tests, so I'm a little hesitant to see how long mypy takes to run.
- nas 4y agoUse "dmypy", it is fast.
- ossopite 4y agopyright is a command line program https://github.com/microsoft/pyright https://github.com/microsoft/pyright in my experience it's a far better type checker than mypy, which tends to silently not check things without you ever realising
- the_af 4y agoThanks for the suggestion! I didn't know this checker existed. Will definitely try it.