Hoy estamos anunciando una traducción alfa de Pyreflyun verificador de tipo Python de código libre y una extensión IDE diseñada en Óxido. Pyrefly es un verificador de tipo suspenso que analiza el código de Python para certificar el tipo de consistencia y ayudarlo a comprender errores a lo desprendido de su saco de código antiguamente de que se ejecute su código. Igualmente admite la integración IDE y el uso de CLI para brindarle flexibilidad en cómo lo incorpora a su flujo de trabajo.
La comunidad de código libre es la columna vertebral del idioma Python. Estamos ansiosos por colaborar en pyrefly con la comunidad y mejorar el sistema de tipos de Python y las muchas bibliotecas en las que todos confiamos.
Emprender
Astuto para bucear? El sitio web oficial de Pyrefly tiene todos los detalles, pero para comenzar rápidamente:
Por qué construimos Pyrefly
En 2017, nos embarcamos en una comisión para crear un verificador de tipo que pueda manejar La masa de código masiva de Instagram de pitón escrito. Esta comisión condujo al comienzo del Pira Tipo de verificador, inspirado en los diseños robustos de Cortar y Fluiry escrito en Ocaml para ofrecer un rendimiento escalable.
A lo desprendido de los abriles, Pyre nos sirvió proporcionadamente, pero a medida que evolucionó el sistema de tipos y la carencia de una tecnología de compensación para impulsar IDE receptivo, estaba claro que necesitábamos adoptar un nuevo enfoque. Exploramos soluciones alternativas y herramientas comunitarias apalancadas como Piright Para la navegación del código. Pero la carencia de un verificador de tipo desplegable que pueda traer navegación en código, realizar a escalera y exportar tipos a otros servicios nos llevó a comenzar de nuevo, creando Pyrefly.
Los principios detrás de Pyrefly
Hoy estamos emocionados de presentar Pyrefly, un plan Hemos estado desarrollando abiertamente en Github. Te invitamos a explorar nuestro trabajo y probarlo en tu propio plan. Si proporcionadamente un plan como Pyrefly es la suma de miles de opciones técnicas, algunos principios notables que hemos seguido son:
Recital
Queremos cambiar las verificaciones que solían ocurrir más tarde CI para suceder en cada pulsación de tecla. ¡Eso requiere comprobar el código a la velocidad (en grandes bases de código podemos realizar 1.8 millones de líneas de código por segundo!) Y se pensó cuidadoso en la incrementalidad y las actualizaciones. Pyrefly se implementa en óxido y se diseña para un suspensión rendimiento en bases de código de todos los tamaños.
Ide primero
Queremos que el IDE y la rasgo de comandos compartan una visión consistente del mundo, lo que significa elaborar abstracciones que capturan las diferencias sin incurrir en costos innecesarios. Diseñar estas abstracciones desde el principio es mucho más acomodaticio que modernizarlas, lo que probamos con pira.
Inferencia
Alguno Los programas de Python se escribenpero muchos no lo son. Queremos que los usuarios se beneficien de los tipos, incluso si no han anotado su código, por lo que inferen automáticamente los tipos para devoluciones y variables locales y los muestran en el IDE. Por otra parte, en el IDE puede incluso hacer doble clic para insertar estos tipos inferidos si cree que eso mejoraría el software.
Código libre
Python es de código libre y muy popular. El Determinación de tipificación de Python es de código libre, que hizo que la pyrefly fuera mucho más acomodaticio de desarrollar. Muchas de las bibliotecas que meta contribuyen son de código libre (por ejemplo, Pytorch).
Pyrefly incluso es de código libre, Habitable en Github bajo el Osadía de MITy fomentamos Solicitud de solicitud y emitir informes. Igualmente tenemos un Canal de discordia Para más discusiones de flujo fugado. Nos encantaría construir una comunidad más o menos de Pyrefly.
El futuro de la pyrefly
Trabajaremos con la comunidad de Python para impulsar el idioma y mejorar la experiencia del desarrollador. Desde el manifestación de Pyre, abre nuestro código y contribuimos con una serie de PEP adjunto con la comunidad de mantenedores de verificadores de tipo. Creemos que podemos hacer más con Pyrefly para ayudar a los desarrolladores de Python a exprimir los beneficios de los tipos para desarrolladores, autores de la biblioteca y personas que solo aprenden el idioma.
Meta ha aplicado los tipos en idiomas dinámicos desde el principio y conoce los beneficios significativos que aporta a la productividad y la seguridad del desarrollador. Planeamos compartir más de nuestros aprendizajes y herramientas con blogsmejores tipos en el ecosistema y las mejoras del estilo.
Hoy estamos lanzando Pyrefly como alfa. Al mismo tiempo, estamos ocupados quemando la nalgas larga de errores y características con el objetivo de eliminar la calificativo alfa este verano. Sus comentarios son invaluables para asistir allí, así que pruébelo y Crónica sus errores O cosas que crees que se pueden mejorar. Incluso si Pyrefly no es adecuado para su plan, nos encantaría retener cómo usa los tipos y qué le gustaría ver mejorado en su editor.
Únase a nosotros en el alucinación mientras ayudamos a iluminar sus errores con Pyrefly. ¡Eficaz codificación! 🐍✨
Escuche más sobre Pyrefly
Mira el episodio del podcast Meta Tech Donde varios miembros del equipo comparten su experiencia desarrollando Pyrefly y detalles técnicos sobre cómo funciona. Igualmente solo Hablé en Pycon US Acerca de la pitón de suspensión rendimiento a través de una comprobación de tipo más rápida y una ejecución roscada fugado.
Para obtener más información sobre Meta Open Source, visite nuestro sitio de código libresuscríbete a nuestro Canal de youtubeo seguirnos en Facebook, Trapos, busilis, y LinkedIn.
Expresiones de obligación
Pyrefly fue creado por el equipo de herramientas de estilo Python de Meta: Jia Chen, Rebecca Chen, Sam Goldman, David Luo, Kyle Into, Zeina Migeed, Neil Mitchell, Maggie Moss, Conner Nilsen, Aaron Pollack, Teddy Sudol, Steven Troxler, Lucian Wiscushik, Danny Yang y Sam Zhou.