🐍 Pyrefly: El verificador de tipos ultrarrápido para Python desarrollado por Meta/Facebook
¿Trabajas con Python y querés detectar errores antes de ejecutar tu código? Pyrefly es la nueva herramienta open source de Meta que promete revolucionar el análisis estático en Python.
⚡ ¿Qué hace Pyrefly?
- Verificación de tipos ultrarrápida implementada en Rust
- Funciona como servidor de lenguaje (LSP): autocompletado, resaltado semántico y navegación en tu IDE
- Disponible como CLI (
pip install pyrefly) y como extensión de VSCode - Infiere tipos automáticamente en la mayoría de los casos, incluyendo variables y tipos de retorno
- Usa flow types: entiende el flujo de control para refinar los tipos estáticos
- Diseñado para escalar en proyectos grandes con paralelismo optimizado
🔍 Explicación en pocas palabras Los “tipos” en Python son etiquetas que le dicen al programa qué clase de datos maneja cada variable: número, texto, lista, etc. Un verificador de tipos revisa tu código antes de ejecutarlo para encontrar errores como intentar sumar un número con una palabra. Pyrefly hace esto de manera increíblemente rápida y además te ayuda mientras escribís código en tu editor, mostrando sugerencias y detectando problemas al instante.
🆚 Se inspira en Mypy, Pyright y Pyre1, pero con foco en rendimiento y simplicidad gracias a Rust.
🧪 Podés probarlo directamente en el navegador en su sandbox online — sin instalar nada.
Más información en el link 👇
