1
Devlop Ai
Shares tags: ai
AI Tool
Revisión de Pyrefly
Pyrefly es un verificador de tipos rápido y un servidor de lenguaje para Python con potentes características de IDE para código fiable y mantenible.
1Desarrollado por Meta, Pyrefly está escrito en Rust para mejoras significativas de velocidad sobre los verificadores de tipos basados en Python.
2Es capaz de verificar hasta 1.8 millones de líneas de código por segundo.
3Pyrefly verifica los tipos del repositorio de PyTorch en 5.5 segundos (versión 44.1), significativamente más rápido que los 50.6 segundos de MyPy.
4La herramienta alcanzó el estado Beta en noviembre de 2025, introduciendo características como la refactorización automática de importaciones y el soporte para Jupyter Notebook.
Connect
</>Embed "Featured on Stork" Badge▼
<a href="https://www.stork.ai/en/pyrefly" target="_blank" rel="noopener noreferrer"><img src="https://www.stork.ai/api/badge/pyrefly?style=dark" alt="Pyrefly - Featured on Stork.ai" height="36" /></a>
[](https://www.stork.ai/en/pyrefly)
overview
¿Qué es Pyrefly?
Pyrefly es una herramienta de verificación de tipos estática y un servidor de lenguaje desarrollado por Meta que permite a los desarrolladores de Python detectar errores relacionados con tipos antes del tiempo de ejecución. Proporciona potentes características de IDE para mejorar la experiencia del desarrollador y la calidad del código. Escrito en Rust, Pyrefly logra mejoras significativas de velocidad sobre los verificadores de tipos anteriores basados en Python, siendo capaz de analizar hasta 1.8 millones de líneas de código por segundo. Está diseñado para un alto rendimiento en bases de código de todos los tamaños, habiendo sido probado en Meta para aplicaciones como Instagram y PyTorch. Pyrefly funciona tanto como una herramienta de línea de comandos como un servidor de lenguaje integrado, ofreciendo una rica experiencia de Entorno de Desarrollo Integrado (IDE).
quick facts
Datos Rápidos
| Atributo | Valor |
|---|---|
| Desarrollador | Meta |
| Modelo de Negocio | Código Abierto |
| Precios | Gratis |
| Plataformas | IDEs (VSCode, Neovim, Zed), Línea de comandos, Jupyter Notebook |
| API Disponible | Sí (Language Server Protocol) |
| Integraciones | VSCode, Neovim, Zed, Jupyter Notebook |
| Fundado | Lanzamiento Alpha Mayo 2025 |
features
Características Clave de Pyrefly
Pyrefly integra análisis estático avanzado con capacidades completas de servidor de lenguaje para proporcionar un entorno de desarrollo robusto para Python. Su diseño central en Rust garantiza un alto rendimiento y capacidad de respuesta, particularmente beneficioso para proyectos a gran escala.
- 1Verificación de tipos estática rápida para código Python, identificando errores relacionados con tipos antes del tiempo de ejecución.
- 2Implementación completa del protocolo de servidor de lenguaje, ofreciendo ricas características de IDE.
- 3Capacidades de navegación de código, incluyendo ir a definición.
- 4Resaltado semántico para una mejor legibilidad del código.
- 5Sugerencias inteligentes de autocompletado de código.
- 6Información al pasar el ratón para acceso rápido a detalles de tipo y documentación.
- 7Capacidades avanzadas de refactorización, como la refactorización automática de importaciones.
- 8Soporte para diagnósticos y características de lenguaje de Jupyter Notebook.
- 9Stubs de terceros incluidos para mejorar la verificación de tipos para bibliotecas externas.
- 10Alto rendimiento en grandes bases de código, procesando hasta 1.8 millones de líneas de código por segundo.
use cases
¿Quién debería usar Pyrefly?
Pyrefly está diseñado para desarrolladores y equipos de Python que priorizan la calidad del código, la mantenibilidad y la experiencia del desarrollador, especialmente en proyectos complejos y a gran escala.
- 1Desarrolladores de Python que buscan detectar errores relacionados con tipos temprano durante los ciclos de desarrollo.
- 2Equipos que colaboran en grandes bases de código de producción que requieren una mejor calidad y legibilidad del código a través de anotaciones de tipo robustas.
- 3Usuarios de IDEs y editores como VSCode, Neovim y Zed que se benefician de características avanzadas del servidor de lenguaje como la navegación de código y el autocompletado.
- 4Desarrolladores que trabajan en bibliotecas y frameworks de AI/ML, ejemplificado por su adopción en PyTorch, para asegurar la consistencia de tipos y permitir una refactorización más segura.
pricing
Precios y Planes de Pyrefly
Pyrefly es un proyecto de código abierto desarrollado por Meta, disponible en GitHub. Se proporciona de forma gratuita, con su funcionalidad principal y código fuente accesibles al público. No hay niveles de pago explícitos ni planes de suscripción asociados con la oferta actual de Pyrefly.
competitors
Pyrefly vs Competidores
Pyrefly se posiciona como un verificador de tipos y servidor de lenguaje de Python de próxima generación, construido en Rust para superar las limitaciones de rendimiento de herramientas más antiguas basadas en Python. Su objetivo es proporcionar una experiencia de desarrollo más rápida e integrada.
- 1Pyrefly vs MyPy: Pyrefly ofrece una verificación de tipos significativamente más rápida, completando el análisis de PyTorch en 5.5 segundos en comparación con los 50.6 segundos de MyPy, e integra características de servidor de lenguaje directamente en los IDEs.
- 2Pyrefly vs Pylance (impulsado por Pyright): Pyrefly está diseñado para una compatibilidad de IDE más amplia más allá de VS Code y demuestra un rendimiento superior, verificando PyTorch en 5.5 segundos en comparación con los 35.2 segundos de Pyright.
- 3Pyrefly vs Pytype: Pyrefly funciona tanto como un verificador de tipos estático como un servidor de lenguaje completo con ricas características de IDE, mientras que Pytype se enfoca principalmente en la inferencia y verificación de tipos sin capacidades directas de servidor de lenguaje.
- 4Pyrefly vs Pyre: Pyrefly es una reescritura desde cero en Rust, sucediendo al anterior verificador de tipos basado en OCaml de Meta, Pyre, para superar las limitaciones en la verificación de tipos receptiva del IDE y mejorar la extensibilidad y el enfoque en la comunidad.
- 5Pyrefly vs Ty (Astral): Pyrefly es más agresivo en la inferencia de tipos, tiene un conjunto de características existentes más amplio, mejor documentación y herramientas para la migración, logrando una tasa de aprobación más alta (~58%) en los casos de prueba de conformidad de tipado de Python en comparación con Ty (~15%) a partir de agosto de 2025.
❓
Frequently Asked Questions
+¿Qué es Pyrefly?
Pyrefly es una herramienta de verificación de tipos estática y un servidor de lenguaje desarrollado por Meta que permite a los desarrolladores de Python detectar errores relacionados con tipos antes del tiempo de ejecución. Proporciona potentes características de IDE para mejorar la experiencia del desarrollador y la calidad del código.
+¿Es Pyrefly gratuito?
Sí, Pyrefly es un proyecto de código abierto desarrollado por Meta y está disponible de forma gratuita en GitHub.
+¿Cuáles son las principales características de Pyrefly?
Las principales características de Pyrefly incluyen verificación de tipos estática rápida, un servidor de lenguaje completo para IDEs (que ofrece navegación de código, resaltado semántico, autocompletado de código, información al pasar el ratón y refactorización), y soporte para Jupyter Notebooks. Está construido en Rust para un alto rendimiento en grandes bases de código Python.
+¿Quién debería usar Pyrefly?
Pyrefly está destinado a desarrolladores y equipos de Python que trabajan en grandes bases de código de producción, aquellos que buscan mejorar la calidad del código a través de anotaciones de tipo, y usuarios de IDEs como VSCode, Neovim o Zed que se benefician de funcionalidades avanzadas del servidor de lenguaje.
+¿Cómo se compara Pyrefly con las alternativas?
Pyrefly se distingue de alternativas como MyPy y Pyright al ofrecer una verificación de tipos significativamente más rápida (por ejemplo, 5.5 segundos para PyTorch vs. 50.6 segundos de MyPy) debido a su implementación en Rust. También proporciona una experiencia de servidor de lenguaje más integrada en comparación con herramientas como Pytype, y es un sucesor del proyecto Pyre anterior de Meta, construido para un rendimiento y extensibilidad mejorados.