Pyrefly: Un nuevo servidor de lenguaje basado en Rust para Python de Meta

Pyrefly es un servidor de lenguaje basado en Rust que mejora el rendimiento de Python. Aprovecha esta herramienta para optimizar tus proyectos y mejorar la eficiencia de tu código.

20 nov 2025 • 3 min de lectura • Equip Q2BSTUDIO

Pyrefly: Un servidor de lenguaje basado en Rust para Python.

Pyrefly es el nuevo servidor de lenguaje de código abierto para Python desarrollado por Meta y escrito en Rust, pensado para ofrecer velocidad y un comprobador de tipos completo sin sacrificar rendimiento. Nació como herramienta interna para los desarrolladores de Instagram que sufrían problemas de rendimiento al navegar grandes bases de código con las herramientas Python existentes, y ahora se presenta en beta pública para la comunidad.

Principales características técnicas: inferencia de tipos en la mayoría de los lugares salvo parámetros de función, deducción de tipos de variables y de valores de retorno, análisis de flujo para refinar los tipos estáticos y una arquitectura incremental a gran escala con comprobación optimizada y paralelismo por módulo. Además Pyrefly implementa el protocolo Language Server Protocol y destaca por autocompletado extremadamente rápido incluso en bases de código densas.

Estado actual y recomendaciones: en la beta de noviembre de 2025 Meta indica que Pyrefly cumple con más del 70 por ciento de la especificación de tipado de Python, por lo que todavía puede no ser la mejor opción para entornos de producción muy complejos o proyectos con muchas dependencias de terceros como Django, aunque es una excelente opción para proyectos personales y prototipos.

Si quieres probarlo en el navegador Meta ha creado un sandbox de Pyrefly donde puedes experimentar sin instalar nada. También puedes instalar Pyrefly desde PyPI o mediante gestores de paquetes populares usando comandos como pip install pyrefly y luego iniciar y comprobar tu proyecto con pyrefly init y pyrefly check. Hay extensiones oficiales para los principales IDEs, disponible en el marketplace de VSCode y en OpenVSX en el registro OpenVSX. Pyrefly dispone igualmente de soporte para editores veteranos como Vim Neovim Emacs y Helix y puedes consultar el repositorio de Pyrefly y la documentación oficial para más detalles.

En Q2BSTUDIO como empresa de desarrollo de software y aplicaciones a medida trabajamos con tecnologías emergentes para ofrecer soluciones de alto rendimiento. Ofrecemos servicios de software a medida y desarrollo de aplicaciones multiplataforma adaptadas a las necesidades de cada cliente, así como proyectos de inteligencia artificial y ia para empresas orientados a mejorar procesos y generar valor.

Nuestras capacidades incluyen ciberseguridad y pentesting para proteger tus activos, despliegues y optimización en servicios cloud aws y azure, e iniciativas de inteligencia de negocio y Power BI para convertir datos en decisiones. Si buscas crear una solución a medida contamos con experiencia en automatización de procesos, agentes IA y consultoría en inteligencia artificial, y podemos integrar herramientas como Pyrefly en flujos de trabajo de desarrollo para mejorar productividad y calidad.

Conecta con nosotros para explorar cómo podemos acompañarte en proyectos de software a medida o en la adopción de IA en tu empresa a través de nuestras páginas de desarrollo de aplicaciones y software a medida y de servicios de inteligencia artificial para empresas. Palabras clave importantes que manejamos en nuestros servicios incluyen aplicaciones a medida, software a medida, inteligencia artificial, ciberseguridad, servicios cloud aws y azure, servicios inteligencia de negocio, ia para empresas, agentes IA y power bi.

Pyrefly es una propuesta interesante para desarrolladores Python que buscan velocidad y un comprobador de tipos moderno. Si tu proyecto es pequeño o estás prototipando, merece la pena probarlo y evaluar cómo encaja en tu cadena de herramientas y en las prácticas de aseguramiento de calidad de tu equipo.

UNA PAUSA?

Juga una estona abans de marxar

ELS NOSTRES SERVEIS

Com et podem ajudar

Intel·ligència artificial

Agents d'IA, chatbots i assistents intel·ligents que automatitzen tasques i atenen els teus clients 24/7 per millorar l'eficiència del teu negoci.

Més info

Desenvolupament de programari

Aplicacions web, mòbils i d'escriptori, intranets, e-commerce, SaaS i plataformes de gestió dissenyades per a les necessitats concretes de la teva empresa.

Més info

Serveis cloud

Migració, infraestructura, hosting gestionat, alta disponibilitat i seguretat en Microsoft Azure i Amazon Web Services perquè el teu negoci escali sense límits.

Més info

Ciberseguretat i pentesting

Auditories de seguretat, test d'intrusió (pentesting) i protecció d'aplicacions, dades i infraestructura on-premise i cloud, amb hacking ètic i compliment normatiu.

Més info

Business Intelligence

Quadres de comandament i anàlisi de dades amb Power BI: integrem les teves fonts, dissenyem dashboards i KPIs i convertim les teves dades en decisions.

Més info

Automatització de processos

Automatitzem tasques repetitives i connectem les teves aplicacions amb n8n, Power Automate, Make i RPA, eliminant treball manual i augmentant la productivitat.

Més info

Formació per a empreses

Formem els teus equips en tecnologia amb criteri: desenvolupament web, bases de dades, Git, bones pràctiques i seguretat, automatització amb n8n, intel·ligència artificial per a empreses i creació de solucions d'IA amb Azure AI Foundry.

Més info

Auditoria de codi

Auditem el codi que creguis tu, el teu equip o una IA: et diem què està bé i què millorar, el securitzem i el deixem llest per a producció, web o app.

Més info

Generació d'imatges amb IA

Creem per tu les imatges que necessita el teu negoci amb intel·ligència artificial: producte, xarxes, publicitat, il·lustració i avatars. Tu ens dius què vols i t'ho lliurem llest per fer servir.

Més info

Generació de vídeos amb IA

Creem per tu vídeos amb intel·ligència artificial: promocionals, per a xarxes, presentadors virtuals, doblatge i animacions. Ens comptes la idea i t'ho lliurem muntat i llest per publicar.

Més info

Avatars conversacionals amb IA

Creem avatars conversacionals amb IA —humans digitals amb cara i veu— que atenen els teus clients i equips amb el coneixement de la teva empresa, a la teva web, monitors interactius, WhatsApp o Teams.

Més info

Màrqueting Online i IA

Google Ads, Meta Ads, LinkedIn Ads i posicionament en motors d'IA (GEO/AEO): captem clients i fem que la teva marca aparegui on et busquen, també a ChatGPT, Gemini i Perplexity.

Més info

Tens un projecte en ment?

Explica'ns la teva visió i la convertim en una solució de programari. Sigui quin sigui l'abast, fem realitat la teva idea.

Live Chat