Pyrefly v1.0 is here (fast type checker and language server for Python)
9 hours ago
- #Python Type Checking
- #IDE Tools
- #Open Source
- Pyrefly v1.0 stable release announced, ready for production use.
- Pyrefly is a Python type checker and language server for bug detection, AI agent structuring, and IDE navigation.
- Open-source community contributions acknowledged for shaping the release.
- Used in production by large codebases like Instagram, PyTorch, NumPy, Pandas, and JAX.
- Performance improvements: 34% faster full type checks and up to 125x faster incremental updates on PyTorch.
- Open benchmarking suite tracks performance and memory usage across 53 open-source packages.
- Provides CLI tool and IDE extension for consistent results across editors and CI.
- Built-in support for Pydantic and Django, with model validation and field autocomplete.
- Easy adoption with default basic preset, incremental type checking, and migration from Mypy/Pyright.
- Tools like pyrefly infer and pyrefly report aid in adding types and tracking progress.
- Experimental features include tensor shape checking for PyTorch to catch runtime errors statically.
- AI integration focus for agentic workflows with documentation on adding Pyrefly to agentic loops.