El equipo de tipos de Rust ha logrado un progreso significativo en el solucionador de rasgos de próxima generación, según una publicación del blog del 26 de junio. El trabajo realizado para estabilizar el uso del solucionador de rasgos de próxima generación en la verificación de coherencia reveló pequeñas regresiones de comportamiento y bloqueos, que causaron demoras. Pero el equipo está cerca de compilar la biblioteca estándar y el compilador con el nuevo solucionador habilitado en todas partes. Esperan una larga cola de problemas menores y diferencias de comportamiento de la implementación existente. También hay preguntas de diseño abiertas que deberán resolverse antes de estabilizar la nueva implementación. El objetivo es utilizar el solucionador de rasgos de próxima generación en todas partes de forma predeterminada. Anunciado en enero de 2023, el equipo de tipos de Rust se ocupa de partes del lenguaje y el compilador de Rust que involucran el sistema de tipos, incluida la verificación de tipos, la resolución de rasgos y la verificación de préstamos. Los objetivos incluyen trabajar para hacer que el sistema de tipos sea sólido, rápido, consistente y extensible. Las prioridades del equipo de tipos incluyen hacer que el sistema de tipos sea sólido, rápido, consistente y extensible. El equipo de tipos es un subequipo de los equipos de lenguaje y compilador. El equipo de tipos de Rust también informa que ha estabilizado async-fn en los rasgos y return-position impl Trait en los rasgos en Rust 1.75. Se han realizado mejoras en la forma en que se representan los generadores y las funciones async en el sistema de tipos. El diseño del solucionador de rasgos de próxima generación sacó a la luz problemas y desafíos de compatibilidad futuros de la implementación de alias de tipo utilizando el solucionador de rasgos antiguo. Se está trabajando para volver a trabajar el diseño y la implementación. Se solucionaron varios problemas de larga data que no eran sólidos, el más notable fue la falta de solidez de la verificación de tipos de las implementaciones de rasgos. Este problema sutil hizo que el equipo aceptara métodos pertenecientes a la firma de la función. Mientras tanto, el equipo está categorizando los problemas pendientes restantes y los está integrando en una planificación a largo plazo. Copyright © 2024 IDG Communications, Inc.