News for hackers. Stuff that matters.

A comment on Astral – "We're building a new static type checker for Python". Parent comment

Re:Astral – "We're building a new static type checker for Py... by alias301 on Wednesday January 29, 2025 @03:46PM (#42870939)
You're in luck!

https://github.com/mypyc/mypyc

[ Parent | on HN ]
Re:Astral – "We're building a new static type checker for Py... by Havoc on Wednesday January 29, 2025 @07:50PM (#42873458)
Wow those are pretty chunky improvements over vanilla
[ Parent | on HN ]
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 ]