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.
