ty is a Python static type checker and language server. It uses a Rust implementation to provide responsive analysis of Python source code, with particular emphasis on interactive development workflows.
Static type checking helps identify inconsistencies in how variables, functions and objects are used without requiring the program to run. ty supports the gradual adoption of type checking, allowing developers to introduce stronger checks while continuing to work with partially annotated code.
Its language server shares the underlying analysis engine with the command-line tool. This approach helps provide consistent diagnostics while editing files and when checking an entire project. The software is intended to work alongside Ruff rather than replace its conventional linting and formatting functionality.
This is free and open source software.
Key Features
- Uses fine-grained incremental analysis to update diagnostics when affected source files change.
- Supports configurable diagnostic rules, severity levels and file-specific overrides.
- Provides type inference, type narrowing, intersection types and reachability analysis.
- Includes language server functionality for completion, navigation, hover information, auto-imports and code actions.
- Supports inlay hints to show inferred information within compatible editors.
- Recognises Python project environments and third-party type information.
- Offers configuration through pyproject.toml and dedicated configuration files.
- Allows developers to suppress specific findings through supported source comments.
- Provides command-line checking suitable for editor tasks and automated validation.
Website: github.com/astral-sh/ty
Support:
Developer: Astral Software Inc.
License: MIT License
ty is written in Rust. Learn Rust with our recommended free books and free tutorials.
Related Software
| Python Linters | |
|---|---|
| Ruff | Extremely fast Python linter and code formatter |
| ty | Fast Python type checker |
| Mypy | Static type checker for Python |
| Bandit | Find security issues in Python code |
| Pylint | Static code analyser |
| wemake-python-styleguide | Flake8 plugin |
| Tach | Enforces module dependencies and architectural boundaries |
| pycodestyle | Check Python code against style conventions in PEP 8 |
| Pyflakes | Checks Python source files for errors |
| Vulture | Find dead code |
| Pyrefly | Fast type checker and language server |
| Flake8 | Wrapper around PyFlakes and pycodestyle |
| Beartype | Near-real-time hybrid runtime-static type-checker |
| Radon | Computes various metrics from Python code |
| Pyright | Full-featured, standards-compliant static type checker |
| cython-lint | Lint Cython files |
| basedpyright | Fork of pyright |
| Refurb | Modernize Python codebases |
| Pylama | Code audit tool for Python |
| Prospector | Brings together the functionality of other Python analysis tools |
| deptry | Check for dependency issues |
| Fixit | Highly configurable linting framework |
| complexipy | Measures cognitive complexity in Python code |
| Zuban | High-performance Python type checker and language server |
| Pyroma | Rates how well a Python project compiles |
| pydoclint | Python docstring linter |
| Arid | Fast duplicate code detection for Python projects |
Read our verdict in the software roundup.
 LinuxLinks helps you discover the best free and open source software for Linux. Explore our extensive collection of recommended applications, including alternatives to popular proprietary software.We also publish software reviews, Linux tutorials, hardware reviews, free programming books and articles covering the wider open source community. Browse our Linux resources to discover more. Know a useful free and open source Linux application we haven't covered? Suggest a program for inclusion. Has your software been featured on LinuxLinks? Display one of our Featured on LinuxLinks badges on your website or GitHub README. |
Please read our Comment Policy before commenting.