GNAT Pro for Rust se encuentra actualmente en Early Access para algunos clientes y ofrece compilador (rustc), gestor de compilación y paquetes (cargo) y depurador (gdb) para Linux x86_64 y objetivos cruzados de Linux.
Cuando GNAT Pro for Rust 25 se lance oficialmente, ofrecerá integración completa con gprbuild y brindará enlaces bidireccionales avanzados entre Ada y Rust, además de compatibilidad con más plataformas.
gprbuildes el sistema de compilación para Ada y C/C++ utilizado en GNAT Studio.
Está previsto que GNAT Pro for Rust respalde requisitos de certificación de seguridad de software para aeronáutica (DO-178), ferrocarriles (EN-50128), espacio (ECSS-E-ST-40C y ECSS-Q-ST-80C), entre otros. La hoja de ruta de AdaCore incluye certificación de bibliotecas del lenguaje (como un subconjunto de libcore), similar a lo que ya está disponible en GNAT Pro para Ada y GNAT Pro para C/C++, investigación sobre trazabilidad fuente-objeto y certificación del compilador (calificación de herramientas).
4 comentarios
Ojalá que los MCU también le echaran un poco más de ganas... -_-;
Como en mi empresa también se habló de adoptar Rust, lo escuché de pasada, y la conclusión parecía ser que AdaCore tiene que ponerle ganas... (por temas de certificación y demás)
Parece que el campo de los sistemas embebidos se va a poner interesante. Si también da soporte para el sector automotriz (como 26262, etc.), creo que esto podría crecer mucho.
Ha habido muchos esfuerzos por usar Rust en sistemas embebidos, y parece que AdaCore ha dado un paso al frente para ofrecer incluso un entorno de desarrollo con certificación de herramientas. (En software crítico para la seguridad, como el software aeronáutico, también deben certificarse las herramientas utilizadas en el desarrollo.)