Skip to content
Stork.AIstork.ai
Outil d'IA

Revue de Pyrefly

Pyrefly est un vérificateur de types rapide et un serveur de langage pour Python, doté de puissantes fonctionnalités IDE pour un code fiable et maintenable.

shipped 2 avr. 2026updated 27 mai 2026aifreemium
ai
Pyrefly - AI tool for pyrefly. Professional illustration showing core functionality and features.

Pourquoi c'est important

1Développé par Meta, Pyrefly est écrit en Rust pour des améliorations de vitesse significatives par rapport aux vérificateurs de types basés sur Python.
2Il est capable de vérifier jusqu'à 1,8 million de lignes de code par seconde.
3Pyrefly vérifie les types du dépôt PyTorch en 5,5 secondes (version 44.1), ce qui est significativement plus rapide que les 50,6 secondes de MyPy.
4L'outil a atteint le statut Beta en novembre 2025, introduisant des fonctionnalités telles que le refactoring automatique des imports et le support de Jupyter Notebook.

Stork’s verdict on Pyrefly

Pyrefly propose une vérification de type statique rapide pour les grands projets Python, mais son annonce en version alpha en mai 2025 signifie qu'il n'est pas encore sorti.

Pyrefly reviewed by Stork AI · stork.ai/fr/pyrefly

Spécifications

Documentation API

Voir la documentation →

GitHub

Voir le dépôt →

API disponible

Oui, API publique

overview

Qu'est-ce que Pyrefly ?

Pyrefly est un vérificateur de types statique et un outil de serveur de langage développé par Meta qui permet aux développeurs Python de détecter les erreurs liées aux types avant l'exécution. Il offre de puissantes fonctionnalités IDE pour améliorer l'expérience des développeurs et la qualité du code. Écrit en Rust, Pyrefly atteint des améliorations de vitesse significatives par rapport aux vérificateurs de types précédents basés sur Python, capable d'analyser jusqu'à 1,8 million de lignes de code par seconde. Il est conçu pour des performances élevées sur des bases de code de toutes tailles, ayant été testé en conditions réelles chez Meta pour des applications comme Instagram et PyTorch. Pyrefly fonctionne à la fois comme un outil en ligne de commande et un serveur de langage intégré, offrant une riche expérience d'environnement de développement intégré (IDE).

features

Fonctionnalités clés de Pyrefly

Pyrefly intègre une analyse statique avancée avec des capacités complètes de serveur de langage pour fournir un environnement de développement robuste pour Python. Sa conception de base en Rust assure des performances et une réactivité élevées, particulièrement bénéfiques pour les projets à grande échelle.

  • Vérification rapide des types statiques pour le code Python, identifiant les erreurs liées aux types avant l'exécution.
  • Implémentation complète du protocole de serveur de langage, offrant de riches fonctionnalités IDE.
  • Capacités de navigation de code, y compris la fonction 'aller à la définition'.
  • Mise en évidence sémantique pour une meilleure lisibilité du code.
  • Suggestions de complétion de code intelligentes.
  • Informations au survol pour un accès rapide aux détails de type et à la documentation.
  • Capacités de refactoring avancées, telles que le refactoring automatique des imports.
  • Support des diagnostics et des fonctionnalités de langage de Jupyter Notebook.
  • Stubs tiers inclus pour améliorer la vérification des types pour les bibliothèques externes.
  • Hautes performances sur les grandes bases de code, traitant jusqu'à 1,8 million de lignes de code par seconde.

use cases

Qui devrait utiliser Pyrefly ?

Pyrefly est conçu pour les développeurs et les équipes Python qui privilégient la qualité du code, la maintenabilité et l'expérience développeur, en particulier dans les projets complexes et à grande échelle.

  • Développeurs Python cherchant à détecter les erreurs liées aux types tôt dans les cycles de développement.
  • Équipes collaborant sur de grandes bases de code de production qui nécessitent une qualité de code et une lisibilité améliorées grâce à des annotations de type robustes.
  • Utilisateurs d'IDEs et d'éditeurs tels que VSCode, Neovim et Zed qui bénéficient de fonctionnalités avancées de serveur de langage comme la navigation de code et l'autocomplétion.
  • Développeurs travaillant sur des bibliothèques et frameworks AI/ML, comme en témoigne son adoption dans PyTorch, pour assurer la cohérence des types et permettre un refactoring plus sûr.

pricing

Tarification et plans de Pyrefly

Pyrefly est un projet open-source développé par Meta, disponible sur GitHub. Il est fourni gratuitement, avec ses fonctionnalités principales et son code source accessibles au public. Il n'y a pas de niveaux payants explicites ou de plans d'abonnement associés à l'offre actuelle de Pyrefly.

Outils similaires

Pyrefly face à ses concurrents

Pyrefly est positionné comme un vérificateur de types Python et un serveur de langage de nouvelle génération, construit en Rust pour surmonter les limitations de performance des outils plus anciens basés sur Python. Il vise à offrir une expérience de développement plus rapide et plus intégrée.

1
MyPyOn StorkCompare

MyPy is the foundational and most widely adopted static type checker for Python, setting the standard for type hint enforcement.

MyPy focuses purely on static type checking, providing robust error detection for type-related issues. Pyrefly combines type checking with language server features for a more integrated IDE experience, and both are open-source and free.

2
Pylance↗

Developed by Microsoft, Pylance provides rich language server features and fast, accurate type checking specifically for VS Code users.

Pylance is tightly integrated with VS Code, offering a comprehensive language server experience including type checking. Pyrefly aims to be a fast, standalone language server and type checker for Python, potentially with broader IDE compatibility, and both are free.

3
PyrightOn StorkCompare

Pyright is Microsoft's fast, standards-compliant static type checker for large Python codebases, serving as the core type-checking engine for Pylance.

Pyright is a dedicated type checker, known for its speed and strictness, and it powers Pylance's type checking. Pyrefly integrates type checking within a broader language server context, aiming for a fast, comprehensive IDE experience, and both are free.

4
RuffOn StorkCompare

Ruff is an extremely fast Python linter and formatter written in Rust, designed to replace many existing tools with a single, high-performance solution.

Ruff primarily focuses on linting and formatting, with capabilities to identify code quality issues that can indirectly relate to type problems. Pyrefly is specifically a type checker and language server, directly targeting type-related errors and powerful IDE features, and both are free and open-source.

5
SourceryOn StorkCompare

Sourcery is an AI-powered coding assistant that provides real-time refactoring suggestions and identifies code quality issues to improve Python code.

Sourcery uses AI to suggest code improvements and identify potential issues, which can include type-related problems indirectly through code quality. Pyrefly is a dedicated type checker and language server, focusing directly on catching type errors before runtime with powerful IDE features. Both Sourcery and Pyrefly offer a freemium model.

Visiter Pyrefly↗
Contact
⌘
GitHubgithub.com/facebook/pyrefly
💬
Discorddiscord.gg/Cf7mFQtW7W

AI Reputation Report

Is Pyrefly yours?

ChatGPT, Perplexity, Gemini, Claude & Grok answer buyer questions about Pyrefly every day. See whether they name Pyrefly — or send buyers to a rival.

See what AI saysfree preview

Featured in articles