Astral – "We're building a new static type checker for Python"

Re:Astral – "We're building a new static type checker for Py... by wavemode on Wednesday January 29, 2025 @11:33PM (#42874882)

My current company is a Python shop, 1M+ LOC. My CI run earlier today completed mypy typechecking in 9 minutes 5 seconds. Take from that what you will.

[ Parent | on HN ]

Re:Astral – "We're building a new static type checker for Py... by Redoubts on Thursday January 30, 2025 @02:28PM (#42881241)

Ditto, same order of magnitude experience; at least for --no-incremental runs.

Part of the problem for me is how easily caches get invalidated. A type error somewhere will invalidate the cache of the file and anything in its dependency tree, which blows a huge hole runtime.

Checking 1 file in a big repo can take 10 seconds, or more than a minute as a result.

[ Parent | on HN ]