31–40 of 177 posts
To repeat an earlier comment of mine from the launch of uv on hn (tl; dr: these new type checkers never support django): The way these type checkers get fast is usually by not supporting the crazy rich reality of realworld python code. The reason we're stuck on mypy at work is because it's the only type checker that has a plugin for Django that properly manages to type check its crazy runtime generated methods. I wis…
Earlier quoted context omitted.
I think astral and meta were both working on their own type-checkers independently. My current understanding is that meta released so they could preempt the initial release of ty. It seems like they're a bit further ahead in development. Not sure if there are going to be any real differences between the two down the line.
Sounds a lot like TypeScript and Flow.
how does this compare to mypy
Seems there are at least three Rust-based competitors for type checkers in Python now (Microsoft, Facebook, Astral), and of course there's still mypy.
Close, Microsoft’s type checker Pyright is Typescript. Its still faster than mypy for me though.
Its probably cool n' all but fb isnt getting any of my attention. They'd need to come up with AGI for that to happen, and even then I'd shrug it off.
I agree. I simply can't support anything Mark Zuckerberg does at this point.
Earlier quoted context omitted.
Close, Microsoft’s type checker Pyright is Typescript. Its still faster than mypy for me though.
Pls forgive my ignorance, but how is Typescript (a superset of Javascript) used to type-check Python?
This is very cool but why wouldn’t they just contribute to uv and ruff and ty https://github.com/astral-sh/ty
I think astral and meta were both working on their own type-checkers independently. My current understanding is that meta released so they could preempt the initial release of ty. It seems like they're a bit further ahead in development. Not sure if there are going to be any real differences between the two down the line.