You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: content/future-python-type-checkers.md
+3-3Lines changed: 3 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -79,7 +79,7 @@ Before examining these new Rust-based tools, it's worth understanding the curren
79
79
80
80
- Created by the author of the popular Python LSP tool `jedi`
81
81
- Aims for high-degree of compatibility with `mypy` to make adoption in large existing codebases seamless.
82
-
- Not FOSS[^2], will require a license for codebases above 1.5 MB (~50,000 lines of code)[^3].
82
+
-~~Not FOSS[^2], will require a license for codebases above 1.5 MB (~50,000 lines of code)[^3]~~**Update (September 2025):** Now open source under the AGPL license, though commercial licensing is available for business who prefer to avoid AGPL compliance.
83
83
- Currently maintained by a single author seems a potential risk to long-term sustainability as Python typing does not stand still.
84
84
85
85
**Philosophy:** Zuban aims to provide the smoothest possible migration path from existing type checkers, particularly `mypy`, making it attractive for organizations with substantial existing typed codebases.
@@ -108,7 +108,7 @@ __Generated 29/08/2025__
108
108
> That being said even though `ty` is lagging on this metric at the moment it is still the type checker that I am most excited to use long-term because of the quality of the tooling Astral has built so far.
109
109
110
110
| Type Checker | Total Test Case Passes | Total Test Case Partial | Total False Positives | Total False Negatives |
@@ -165,7 +165,7 @@ For teams evaluating these type checkers, the conformance scores provide valuabl
165
165
166
166
[^1]: Which can be demonstrated in the [open issues](https://github.com/astral-sh/ruff/issues?q=is%3Aissue%20state%3Aopen%20label%3Atype-inference) on ruff tagged with `type-inference` which are bugs or new features that can only be resolved with `ruff` having access to deeper type inference data that `ty` can supply.
167
167
[^2]: David has indicated a plan to make [source available in the future](https://github.com/python/typing/pull/2067#issuecomment-3177937964) when adding Zuban to the Python typing conformance suite.
168
-
[^3]: Full pricing information at: <https://zubanls.com/pricing/>
168
+
[^3]: ~~Full pricing information at: https://zubanls.com/pricing/~~**Update (September 2025):** Pricing is now available on request for the non-AGPL license.
169
169
[^4]: This is just for this blog post, no plans to seek merging this.
0 commit comments