Paul Krill
Editor at Large

Python type checker ty now in beta

news
Dec 18, 20252 mins

The Rust-based type checker from Astral banks on ‘extremely fast’ live updates, with a stable release projected for 2026.

Speed, fast, faster. Hand turning a dial with a rocket ship icon..
Credit: Olivier Le Moal/Shutterstock

Touted as an extremely fast Python type checker and language server, ty has moved to beta.

Developers can install ty with uv tool install ty@latest, or via a Visual Studio Code extension. A stable release is eyed for 2026, according to ty steward Astral.

Written in Rust, ty is positioned as an alternative to tools such as  Mypy, Pyright, and Pylance. In a December 16 blog post, Astral founder Charlie Marsh said ty’s architecture is built around “incrementality,” enabling necessary computations to be selectively re-run when a user edits a file or modifies an individual function. “This makes live updates extremely fast in the context of any editor or long-lived process,” Marsh said.

In developing ty, Astral focused on performance; being correct, pragmatic, and ergonomic; and being built in the open, by the Astral core team alongside active contributors under the MIT license, said Marsh. The type checker also features a diagnostic system inspired by the Rust compiler’s own error messages. A single ty diagnostic can pull in context from multiple files simultaneously to explain not only what is wrong but why, and, often, how to fix it, said Marsh. Even compared to Rust-based language servers like Pyrefly, ty can run orders of magnitude faster when performing incremental updates on large projects, Marsh stressed. Following the beta release, the company will prioritize supporting early adopters, he said.

Paul Krill

Paul Krill is editor at large at InfoWorld. Paul has been covering computer technology as a news and feature reporter for more than 35 years, including 30 years at InfoWorld. He has specialized in coverage of software development tools and technologies since the 1990s, and he continues to lead InfoWorld’s news coverage of software development platforms including Java and .NET and programming languages including JavaScript, TypeScript, PHP, Python, Ruby, Rust, and Go. Long trusted as a reporter who prioritizes accuracy, integrity, and the best interests of readers, Paul is sought out by technology companies and industry organizations who want to reach InfoWorld’s audience of software developers and other information technology professionals. Paul has won a “Best Technology News Coverage” award from IDG.

More from this author