Re:Python’s “type hints” are a bit of a disappointment to me
by the_af on Thursday April 21, 2022 @06:19PM
(#31115877)
Sorry, I wasn't clear: I want command-line tooling for the build pipeline, not for the IDE or any individual developer.
[ Parent
| on HN ]
Re:Python’s “type hints” are a bit of a disappointment to me
by ledauphin on Thursday April 21, 2022 @06:37PM
(#31116040)
mypy is quite fast at the command line. certainly fast enough for CI usage, where speed is generally less critical than in an IDE.
Re:Python’s “type hints” are a bit of a disappointment to me
by the_af on Thursday April 21, 2022 @06:42PM
(#31116082)
Not my experience!
Re:Python’s “type hints” are a bit of a disappointment to me
by Bedon292 on Thursday April 21, 2022 @08:28PM
(#31116841)
What 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.
Re:Python’s “type hints” are a bit of a disappointment to me
by deckiedan on Saturday April 23, 2022 @04:04AM
(#31132364)
A 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.
Re:Python’s “type hints” are a bit of a disappointment to me
by nas on Thursday April 21, 2022 @08:04PM
(#31116694)
Use "dmypy", it is fast.
Re:Python’s “type hints” are a bit of a disappointment to me
by ossopite on Friday April 22, 2022 @08:51AM
(#31120995)
pyright is a command line program 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