### 馃グ Feature Description ### ty [](https://github.com/astral-sh/ty)  switch to ty when it is [stable](https://github.com/astral-sh/ty/milestone/4) some features that I think would be useful: - <https://github.com/astral-sh/ty/issues/972> - <https://github.com/astral-sh/ty/issues/136> - <https://github.com/astral-sh/ty/issues/561> - <https://github.com/astral-sh/ty/issues/1746> - <https://github.com/astral-sh/ty/issues/3096> ### Pyrefly [](https://github.com/facebook/pyrefly)  some features that I think would be useful: - <https://github.com/facebook/pyrefly/issues/60> - <https://github.com/facebook/pyrefly/issues/397> - <https://github.com/facebook/pyrefly/issues/675> ### 馃 Proposed Solution ... ### 馃摑 Additional Information I prefer ty because it seems to support [redeclarations](https://docs.astral.sh/ty/features/type-system/#redeclarations) and [intersection types](https://docs.astral.sh/ty/features/type-system/#intersection-types) better.
馃グ Feature Description
ty
switch to ty when it is stable
some features that I think would be useful:
typing.Unpack聽astral-sh/ty#1746closedandextra_itemsfor TypedDicts (PEP 728)聽astral-sh/ty#3096Pyrefly
some features that I think would be useful:
馃 Proposed Solution
...
馃摑 Additional Information
I prefer ty because it seems to support redeclarations and intersection types better.