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 read • Q2BSTUDIO Team

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.

A BREAK?

Play for a moment before you go

OUR SERVICES

How we can help you

Artificial intelligence

AI agents, chatbots, and intelligent assistants that automate tasks and serve your customers 24/7 to improve the efficiency of your business.

More info

Software Development

Web, mobile, and desktop applications, intranets, e-commerce, SaaS, and management platforms designed for your company's specific needs.

More info

Cloud services

Migration, infrastructure, managed hosting, high availability, and security on Microsoft Azure and Amazon Web Services to help your business scale without limits.

More info

Cybersecurity and pentesting

Security audits, penetration testing and protection of applications, data and infrastructure on-premise and cloud, with ethical hacking and regulatory compliance.

More info

Business Intelligence

Dashboards and data analysis with Power BI: we integrate your sources, design dashboards and KPIs and turn your data into decisions.

More info

Process automation

We automate repetitive tasks and connect your applications with n8n, Power Automate, Make, and RPA, eliminating manual work and increasing productivity.

More info

Training for Companies

We train your teams in technology with criteria: web development, databases, Git, best practices and security, automation with n8n, artificial intelligence for companies and creation of AI solutions with Azure AI Foundry.

More info

Code Auditing

We audit the code that you, your team or an AI create: we tell you what is good and what to improve, we secure it and make it ready for production, web or app.

More info

AI Image Generation

We create for you the images that your business needs with artificial intelligence: product, networks, advertising, illustration and avatars. You tell us what you want and we deliver it ready to use.

More info

AI Video Generation

We create videos with artificial intelligence for you: promotional, networking, virtual presenters, dubbing and animations. You tell us the idea and we will deliver it assembled and ready to publish.

More info

AI Conversational Avatars

We create conversational avatars with AI – digital humans with a face and voice – that serve your customers and teams with the knowledge of your company, on your website, interactive monitors, WhatsApp or Teams.

More info

Online Marketing and AI

Google Ads, Meta Ads, LinkedIn Ads and AI Engine Positioning (GEO/AEO): we attract customers and make your brand appear where they search for you, also on ChatGPT, Gemini and Perplexity.

More info

Do you have a project in mind?

Tell us your vision and we'll turn it into a software solution. Whatever the scope, we make your idea real.

Live Chat