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

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

I think you have something misconfigured, or are timing incorrectly. I'm working on a project right now with ~10K LOC. I haven't timed it, but it's easily <= 2 seconds. Even if I nuke MyPy's cache, it's at most 5 seconds. This is on a M3 MBP FWIW.

[ Parent | on HN ]

Re:Astral – "We're building a new static type checker for Py... by imron on Wednesday January 29, 2025 @07:34PM (#42873323)

And with dmypy (included with myoy) it’s even faster

[ Parent | on HN ]

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

I've found dmypy very underbaked. It's very easy to get it to regularly crash or pin a CPU indefinitely in my codebase.

[ Parent | on HN ]

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

Yeah it’s far from perfect, but speed is usually not its biggest fault.

I’ll still be switching to the astral offering as soon as it’s production ready.

[ Parent | on HN ]