2 ms·
Sorry, I wasn't clear: I want command-line tooling for the build pipeline, not for the IDE or any individual developer.
by the_af 5y ago
Sorry, I wasn't clear: I want command-line tooling for the build pipeline, not for the IDE or any individual developer.
- ledauphin 5y 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 5y agoNot my experience!
- Bedon292 5y 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 5y 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 5y agoUse "dmypy", it is fast.
- ossopite 5y 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 5y agoThanks for the suggestion! I didn't know this checker existed. Will definitely try it.