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

Re:Astral – "We're building a new static type checker for Py... by wk_end on Wednesday January 29, 2025 @08:19PM (#42873668)

AFAICT this is dead (no updates in four years) and "alpha software...only recommended for production use cases with careful testing, and if you are willing to contribute fixes or to work around issues you will encounter." Unfortunate, because it's pretty cool.

[ Parent | on HN ]

Re:Astral – "We're building a new static type checker for Py... by iso8859-1 on Wednesday January 29, 2025 @11:47PM (#42874955)

the repo says the code is in the mypy repo and it looks like it is maintained in there. so I think it has had updates the last four years?

[ Parent | on HN ]

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

Yeah, mypy uses it themselves for their releases. I think they get 5x speedups empirically

[ Parent | on HN ]