News for hackers. Stuff that matters.

A comment on Python’s “type hints” are a bit of a disappointment to me. Parent comment

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.
[ Parent | on HN ]
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!
[ Parent | on HN ]
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.
[ Parent | on HN ]
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.

[ Parent | on HN ]
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.
[ Parent | on HN ]